相关疑难解决方法(0)

在模板,在那里,为什么我必须把typename和template上依赖的名字呢？究竟什么是依赖名称？我有以下代码:

template <typename T, typename Tail> // Tail will be a UnionNode too.
struct UnionNode : public Tail {
    // ...
    template<typename U> struct inUnion {
        // Q: where to add typename/template here?
        typedef Tail::inUnion<U> dummy; 
    };
    template< > struct inUnion<T> {
    };
};
template <typename T> // For the last node Tn.
struct UnionNode<T, void> {
    // ...
    template<typename U> struct inUnion {
        char fail[ -2 + (sizeof(U)%2) ]; // Cannot be instantiated for any …

我在类模板中的内部类有问题。我有一个模板类（比如Matrix<T>：）和一个子类（比如：）Matrix<T>::Row。现在我想编写一个对子类实例进行操作的函数（比如：）negate(Matrix<T>::Row &)。我试图用 声明函数template<class T> negate(typename Matrix<T>::Row &)，但是当我尝试使用它时，编译器告诉我它找不到匹配项。

这是一个抽象的例子：

template<class T>
class A
{
public:
    class B
    {
    };
};

template<class T>
void x(typename A<T>::B &)
{
}

int main()
{
    A<int>::B b;
    x(b); // doesn't work: Error: Could not find a match
          // for x<T>(A<int>::B) needed in main().
    x<int>(b); // works fine
}

为什么编译器无法x在第一种情况下找到？有没有办法修改它的工作原理（没有明确指定类型int）？

（我也有类似的问题 where xis of form template<class T, class S> void x(typename A<T>::B &, …