如何为非模板类​​定义模板方法？

Question

我的编译器对我实现模板方法的方式不满意。它为这些实现提供了 吨 的错误消息，例如“未定义的类型 T”。

这是我的第一个方法，它是在类块之外实现的：

class VectorConvertor
{
    public:
        // ...
        template <class T>
        static void ReverseVectorElements(std::vector<T> & Vector);
        // ...
};

template <class T>
void VectorConvertor::ReverseVectorElements(std::vector<T> & Vector)
{
    std::vector<T>::size_type size = Vector.size();
    T swap;
    for (std::vector<T>::size_type i=0; i<size/2; i++)
    {
        swap = Vector.at(i);
        Vector.at(i) = Vector.at(size-1-i);
        Vector.at(size-1-i) = swap;
    }
}

另一个是这个；这次方法是在类内部实现的：

class ElementaryMath
{
    public:
        // ...
        template <class T> static char sign(T num)
        {
            return (num >= static_cast<T>(0)) ? static_cast<char>(+1) : static_cast<char>(-1);
        }
        // ...
}

我的代码有什么问题，还是只是编译器本身的问题？

IDE 和编译器：Visual Studio 2010

Answer 1

您的代码在 VS2005 上编译没有错误（除了 ElementaryMath 定义末尾缺少分号），因此您可能正在查看编译器错误。

VS2010 SP1 提供测试版here。可能会有所帮助，但显然它的测试版...

Answer 2

class VectorConvertor
{
    public:
    // ...
    template <typename T>
    static void ReverseVectorElements(std::vector<T> & Vector);
};

template <typename T>
void VectorConvertor::ReverseVectorElements(std::vector<T> & Vector)
{
    std::vector<T>::size_type size = Vector.size();
    T swap;
    for (std::vector<T>::size_type i=0; i<size/2; i++)
    {
        swap = Vector.at(i);
        Vector.at(i) = Vector.at(size-1-i);
        Vector.at(size-1-i) = swap;
    }
}

int main()
{
    std::vector <int> i(10,0);

    VectorConvertor obj;   // Since your class isn't a template, template parameter
                           // isn't required for a class template instantiation.
                           // However, if your class was a template class, template-
                           // parameter must have been required for a class template
                           // instantiation.

    obj.ReverseVectorElements(i);  // Equal to obj.ReverseVectorElements<int>(i);
                                   // Based on type of i, compiler can instantiate a 
                                   // template function by default.
    getchar();
    return 0;
}

希望这会有所帮助！

Answer 3

您的代码在我看来没问题。但有一件事在我脑海中浮现。你能检查一下之前是否定义了函数“sign”吗？只需将鼠标悬停在其上即可。 C 运行时库使用“#define”关键字实现它的一些函数，因此您不能在之后定义具有相同名称的函数。

Answer 4

此处输入名称：

template <class T>
void VectorConvertor::ReverseVectorElements(std::vector<T> & Vector)
{
    typename std::vector<T>::size_type size = Vector.size();
    T swap;
    for (typename std::vector<T>::size_type i=0; i<size/2; i++)
    {
        swap = Vector.at(i);
        Vector.at(i) = Vector.at(size-1-i);
        Vector.at(size-1-i) = swap;
    }
}

Answer 5

您缺少一些typenames 和分号，但除此之外，代码似乎还可以。恕我直言，如果它仍然不起作用，是时候提交错误了。

顺便说一句，交换代码最好使用std::swap。