这个问题已经在这里有了答案:




已关闭8年。






GCC无法推断出此“简单”功能的参数。有什么办法可以帮助编译器吗?

template<int a> struct A
{
    template<int b> struct B
    {
    };
};

template<int a, int b> void test(typename A<a>::template B<b> param) { }

int main()
{
    A<1>::B<2> b;

    test<1,2>(b); // works
    test(b);      // doesn't work
}

来自GCC 4.7.1的错误消息:
test.cpp: In function 'int main()':
test.cpp:15:8: error: no matching function for call to 'test(A<1>::B<2>&)'
test.cpp:15:8: note: candidate is:
test.cpp:8:29: note: template<int a, int b> void test(typename A<a>::B<b>)
test.cpp:8:29: note:   template argument deduction/substitution failed:
test.cpp:15:8: note:   couldn't deduce template parameter 'a'

最佳答案

尽管这似乎是一个简单的推论,但是您希望编译器执行的操作实际上实际上是相当复杂且缓慢的,并且C++不支持。

解决此问题的一种方法是创建另一个非嵌套类,该类将所有模板参数放在一个位置。然后,您可以通过派生它而使它看起来像是一个嵌套类:

template<int a,int b> struct A_B {
  /* define your class here */
};

template<int a> struct A
{
    template<int b> struct B : A_B<a,b> {/*nothing here*/};
};

template<int a, int b> void test(A_B<a,b> param) { }

int main()
{
    A<1>::B<2> b;

    test<1,2>(b); // works
    test(b);      // works too
}

C++ 11还支持模板别名,这使它更简洁一些,尽管尚未得到广泛支持:
template<int a> struct A
{
    template<int b> using B = A_B<a,b>;
};

这个问题密切相关:

Workaround for non-deduced context

那里提供的答案也对您的情况有用。如果可以让您的职能成为 friend ,那么您可以这样做:
template<int a> struct A
{
    template <int b>
    struct B
    {
    };

    template <int b>
    friend void test(B<b> param)
    {
    }
};

关于c++ - 嵌套模板和参数推导,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/12640808/

10-11 23:05
查看更多