c++ - 将函数 f 传递给 f 类型的类模板的构造函数

Question

我正在探索两种将函数传递给类模板的构造函数的不同方法 Bar ，如下所示和online .

测试的编译器:GCC 5.4.0 和 clang 3.8.0。 (在线版本中禁用了有问题的结构。)

#include <iostream>
#include <cxxabi.h>

#define DEMANGLE( object )                                                          \
{                                                                                   \
    int status;                                                                     \
    char* name = abi::__cxa_demangle( typeid( object ).name() , 0 , 0 , &status );  \
    if( !status ) std::cout << name << std::endl;                                   \
    delete name;                                                                    \
} 

template<typename T> 
struct Bar;

template<typename ...Args> 
struct Bar<void(Args...)>
{
#if 0
    Bar( void(Args...) )        // OKAY 
    {                           // Question 1: need to assign a name to the function void(Args...)
    }
#else
    Bar( void(Args...) func )   // ERROR
    {
    }
#endif    
};

void wiggle( bool , short , int )
{   
}

template<typename F>
void wrapper( F f )
{
    //DEMANGLE( f )             // optional print out of the type of F
    Bar<F> bar( f ) ;           // Question 2: incomplete type error -- why is specialization of Bar not chosen???
}

int main()
{
    wrapper( wiggle );
    Bar<decltype(wiggle)> f( &wiggle );
}

问题一

我第一次尝试传递函数 wiggle至 Bar就是直接实例化后者如下Bar<decltype(wiggle)> f( &wiggle ) .问题是如何命名/引用传递给构造函数的函数 Bar::Bar(f) .使用未命名参数编写 ctor Bar( void(Args...) )编译没问题，但是当我尝试命名或引用传递给 ctor 的参数时，就像这样 Bar( void(Args...) func ) ，我得到一个编译器错误

source_file.cpp:23:21: error: expected ')'
        Bar( void(Args...) func )       // ERROR
                           ^
source_file.cpp:23:5: note: to match this '('
        Bar( void(Args...) func )       // ERROR

问题二

我第二次尝试将函数传递给 Bar使用函数 void wrapper( F f )为了调用Bar<F> bar( f ) .奇怪的是，两个编译器都达到了 Bar 的(未实现的)基本模板。而不是产生错误的特化

source_file.cpp:37:9: error: implicit instantiation of undefined template 'Bar<void (*)(bool, short, int)>'
        Bar<F> bar( f );
               ^
source_file.cpp:42:2: note: in instantiation of function template specialization 'wrapper<void (*)(bool, short, int)>' requested here
        wrapper( wiggle );
        ^
source_file.cpp:13:8: note: template is declared here
struct Bar;

特别令人困惑的是类型名称信息转储宏 DEMANGLE确认 F 的类型传递给 wrapper是void (*)(bool, short, int) .

Answer 1

问题在于 wiggle 在传递给 wrapper 时被隐式转换为函数指针，所以 F 的实际类型是:

void (*)(bool, short, int)

...无法匹配 void(Args)。你可以使用 std::remove_pointer_t :

Bar<std::remove_pointer_t<F>> bar( f );

---

关于您的第一个错误，Bar(void (Args...) func) 不是正确的构造，Bar(void func(Args...))会在这里，但是 that would be equivalent to :

Bar(void (*func)(Args...))

...这更清楚(在我看来)。