嵌套模板和参数推导

Question

可能的重复：
非推导上下文的解决方法

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'

Answer 1

尽管这看起来像是一个简单的推论，但您希望编译器执行的操作实际上会相当复杂且通常执行速度很慢，并且 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>;
};

这个问题密切相关：

非推导上下文的解决方法

那里提供的答案对您的情况也很有用。如果你能让你的函数成为朋友，那么你可以这样做：

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

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