1

関数ポインターを非型テンプレート引数として使用しようとしましたが、型の推定に失敗する理由が時々わかりません。

ここに例があります

template <class T, class U, class R>
R sum(T a, U b) { return a + b; }

template <class T, class R, R (*Func)(T, R)>
R reduce(T *in, R initial, int len) {
    for (int i = 0; i < len; ++i)
        initial = Func(in[i], initial);
    return initial;
}

int main() {
    double data[] = {1, 2, 3, 4, 5};
    std::cout << "Sum: " << reduce<sum>(data, 0.0, 5) << "\n";
    return 0;
}

残念ながら、GCC は失敗の理由を提供していないようです。

test.cpp: In function ‘int main()’:
test.cpp:15:64: error: no matching function for call to ‘reduce(double [5], double, int)’
test.cpp:15:64: note: candidate is:
test.cpp:7:3: note: template<class T, class R, R (* Func)(T, R)> R reduce(T*, R, int)
test.cpp:7:3: note:   template argument deduction/substitution failed:

代わりに、すべてのデータ型を指定すると機能します。

std::cout << "Sum: " << reduce<double, double, sum>(data, 0.0, 5) << "\n";

何が起こっている？

4

1 に答える 1

2

テンプレートの部分的な特殊化を提供する間違い。オール オア ナッシングのルールがあります。したがって、署名を次のように変更すると、次のようになります。

template <class T, class R>
 R reduce(R (*Func)(T, R), T *in, R initial, int len) {

...

reduce(sum, data, 0.0, 5)

すべてが正常にコンパイルされました

于 2013-04-10T16:25:08.723 に答える