0

以下代码不能用 G++ 编译（尽管我相信它应该）：

#include <iostream>

template <unsigned N>
struct foo_traits {
    typedef const char ArrayArg[N];
    typedef int Function (ArrayArg *);
};

template <unsigned N>
int foo (typename foo_traits<N>::Function *ptr) {
    return ptr(&"good");
}

int bar (const char (*x)[5]) {
    std::cout << *x << "\n";
    return 0;
}

int main ()
{
    return foo(bar);
}

我用 GCC 4.4 到 4.7 对此进行了检查，我得到一个模板参数推导失败。使用 4.7.1：

prog.cpp: In function ‘int main()’:
prog.cpp:21:19: error: no matching function for call to ‘foo(int (&)(const char (*)[5]))’
prog.cpp:21:19: note: candidate is:
prog.cpp:10:5: note: template<unsigned int N> int foo(typename foo_traits<N>::Function*)
prog.cpp:10:5: note:   template argument deduction/substitution failed:
prog.cpp:21:19: note:   couldn't deduce template parameter ‘N’

如果我使用显式模板参数（即，foo<5>(bar)），它编译得很好。如果我使用没有typedefs 的代码版本，它编译得很好：

#include <iostream>

template <unsigned N>
int fixfoo (int (*ptr) (const char (*)[N])) {
    return ptr(&"good");
}

int bar (const char (*x)[5]) {
    std::cout << *x << "\n";
    return 0;
}

int main ()
{
    return fixfoo(bar);
}

失败的代码是否应该编译（即，我犯了一个愚蠢的错误）？

4

1 回答 1

2 
int foo(typename foo_traits<N>::Function *ptr);

签名使其成为不可扣除的上下文，因此您必须包含模板参数，以便知道值N，因此也知道指针的类型ptr。

您的第二个示例编译，因为bar可以推断出签名的类型。

于 2013-06-10T21:16:56.350 回答