9

我有这个代码（从更复杂的版本简化）：

template <class... A1> class Test {
    public:
    template <class... A2> void print (void(*function)(A2...,A1...)) {

    }
};

void test_print (int a, float b, double c) {

}

int main () {
    Test<float,double> test;
    test.print<int> (&test_print);
}

如果我在 GCC 4.6.3 上使用g++ -std=c++0x filename.cpp它编译它可以正常编译，但是在 clang 3.0 上使用clang++ -std=c++0x filename.cpp它会引发以下错误：

filename.cpp:14:10: error: no matching member function for call to 'print'
    test.print<int> (&test_print);
    ~~~~~^~~~~~~~~~
filename.cpp:3:33: note: candidate template ignored: failed template argument deduction
    template <class... A2> void print (void(*function)(A2...,A1...)) {
                                ^
1 error generated.

在 GCC 4.7.2 上也有一个错误：

filename.cpp: In function 'int main()':
filename.cpp:14:33: error: no matching function for call to 'Test<float, double>::print(void (*)(int, float, double))'
filename.cpp:14:33: note: candidate is:
filename.cpp:3:33: note: template<class ... A2> void Test::print(void (*)(A2 ..., A1 ...)) [with A2 = {A2 ...}; A1 = {float, double}]
filename.cpp:3:33: note:   template argument deduction/substitution failed:
filename.cpp:14:33: note:   mismatched types 'float' and 'int'

现在的问题是：为什么它会失败或者我做错了什么？

4

1 回答 1

2

作为解决http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1399的一部分，决定不可演绎的参数包不参与演绎，因此保留参数列表中显式指定的参数，但不干扰后续参数与后续函数参数的匹配。但是，在比较类型时，这些添加的规则不一定适用于推导（这是对函数调用的参数进行参数集推导的子算法）。

我认为该决议也应适用于您的情况，并将其视为规范不完全清楚的一个领域。您可能希望向各自的编译器发送错误报告，他们可能希望向 WG21 发送问题报告以要求澄清这一点（尽管我不确定我是否会说这是一个规范性规范问题 -标准在其他地方说不可演绎的上下文不参与演绎）。

注意 asA1是封闭类模板的参数（因此在实例化类时成为普通参数），就模板参数推导而言，您可以省略它们并保持相同的含义

class Test {
    public:
    template <class... A2> void print (A2..., float, double) {

    }
};

int main () {
    Test test;
    test.print<int> (1, 1.0f, 1.0); // works
}
于 2013-02-03T13:35:22.947 回答