2

嗨，我试图在 C++11 中实现一个类似于 C++ 概念的功能（C++14）。这个想法只是为std::for_each()算法编写包装函数，我只是检查第三个参数是否是函数。所以我编写了以下代码，但是我无法按应有的方式编译它。我正在使用带有 gcc4.8.1 的 Ubuntu12.04。

test_1.cpp

#include<type_traits>
#include<iostream>
#include<vector>
#include<algorithm>


void  display(int& val) {
    std::cout <<val<<std::endl;
}

template<typename T>
constexpr   bool  Is_valid_function(T& a)  {
        return std::is_function<T>::value; 
}


template<typename T>
void  check_valid_function(T& a)  {
        static_assert(Is_valid_function(a), "Not The Valid Function");
}



template <class InputIterator, class Function>
Function my_for_each(InputIterator first, InputIterator last, Function f) {
/* Concept Like Implementation to just check whether f is function or not */
            check_valid_function(f);
            return for_each(first, last, f) ;
}


void learn_static_assert_and_typetraits(void)
{
        std::vector<int> vec_x{1,2,3,4,5};
        my_for_each(vec_x.begin(), vec_x.end(), display);
    }


int main(int argc, const char* argv[]) {
        learn_static_assert_and_typetraits();
        return 0;
}

我收到以下编译错误，从中可以看出失败与有效功能static_assert()不正确。display

编译错误

test_3.cpp：在 'void check_valid_function(T&) [with T = void (*)(int&)]' 的实例化中：
test_3.cpp:27:26: 'Function my_for_each(InputIterator, InputIterator, Function) [with InputIterator = __gnu_cxx::__normal_iterator >; 函数 = 无效 (*)(int&)]'
test_3.cpp:35:50：从这里需要
test_3.cpp:19:3: 错误：静态断言失败：不是有效函数
   static_assert(Is_valid_function(a), "不是有效函数");
   ^

但是，如果我对其他 type_traits 函数做同样的事情，我会得到以下正确且预期的错误。

test_2.cpp

#include<type_traits>

template<typename T>
constexpr   bool Is_floating_point(T& a) {
        return std::is_floating_point<T>::value; 
}


template<typename T>
void  f(T& a)  {
        static_assert(Is_floating_point(a), "Non-Float Type  Data");
}


void learn_static_assert_and_typetraits(void) {
        float y{10.0};
        f(y);
        int x{100};
        f(x);
}


int main(int argc, const char* argv[]) {
        learn_static_assert_and_typetraits();
        return 0;
}

编译器输出

test_2.cpp：在 'void f(T&) [with T = int]' 的实例化中：
test_2.cpp:19:6: 从这里需要
test_2.cpp:11:3：错误：静态断言失败：非浮点类型数据
   static_assert(Is_floating_point(a), "非浮点型数据");
   ^

问题

所以，我想了解为什么我的第一个程序不能正常工作，我的代码/理解中是否存在错误或者是其他问题。我希望以上数据足以理解我的问题。但是，如果有人想要一些额外的数据，请告诉我。

4

1 回答 1

2

问题在这里：

template <class InputIterator, class Function>
Function my_for_each(InputIterator first, InputIterator last, Function f)

通过以下方式调用：

my_for_each(vec_x.begin(), vec_x.end(), display);

这推导出Function(of my_for_each) 是一个函数指针；为了

void  display(int& val)

推导出的类型是void(*)(int&)。然而，类型特征std::is_function检查传递的类型是否是函数类型，而不是函数指针类型。

一种解决方案是删除指针：

template<typename T>
constexpr   bool  Is_valid_function(T& a)  {
        return std::is_function<typename std::remove_pointer<T>::type>::value; 
}

但是，正如 clang++ 所揭示的，这仍然不够：

template<typename T>
void  check_valid_function(T& a)  {
        static_assert(Is_valid_function(a), "Not The Valid Function");
}

a作为函数参数（即使check_valid_function是constexpr！）不是编译时常量，因此它可能不会出现在常量表达式中（在函数体内）。因此，Is_valid_function(a)可能不会显示为static_assert. 可能可以使用类似于 的东西declval，例如

static_assert(Is_valid_function( declval<T&>() ), "Not The Valid Function");

但不幸的declval是，不是 constexpr，而且我不知道如何编写一个constexpr版本。因此，您可以改为传递一个指针：

static_assert(Is_valid_function(static_cast<T*>(nullptr)),
              "Not a valid function");

为此，您需要重写Is_valid_function如下：

template<typename T>
constexpr   bool  Is_valid_function(T*)  {
        return std::is_function<typename std::remove_pointer<T>::type>::value; 
}

注意：这里传递的参数是指向函数指针的指针，但参数T*推导出T为指向函数的指针，如前所述（因此签名发生了变化）。如果您选择此解决方案，您可能希望在函数名称中反映这一点。

其他问题：

  1. 依靠 ADL 实现标准库算法

    return for_each(first, last, f) ;

    据我所知，这依赖于 ADL。但是迭代器（和函数）不需要在命名空间中std（即使是vector::iterator等），所以你不应该依赖 ADL：

    return std::for_each(first, last, f);

  2. 对不需要修改参数的函数使用非常量引用，例如

    constexpr   bool  Is_valid_function(T& a)

    如果您不需要修改参数，您应该通过值或通过 const 引用传递它，例如

    constexpr   bool  Is_valid_function(T const& a)

  3. “错误检查” 如果此代码仅用于教育目的，这不是问题。但是，在尝试检查参数是否对标准库算法有效时，检查传递的参数是否为函数类型是“错误检查”。您应该检查是否f(*first)格式正确。这允许函数对象并检查参数类型是否为“有效”。

于 2013-11-20T19:15:10.430 回答