专门化模板派生类的成员函数

peterk 发表于 Dev

彼得·克

我有以下代码（为清楚起见非常简化）：

class Base
{
    virtual int DoStuff(int arg) = 0;
};

template <typename T>
class Derived : public Base
{
    int DoStuff(int arg) override
    {
         // do some stuff
         return 0;
    }
};

这很好用。现在，我想实现DoStuff的特殊（矢量化）实现。我需要根据派生的类型T具体实现，如下所示：

class Base
{
    virtual int DoStuff(int arg) = 0;
    virtual int DoStuffVectorized(int arg) = 0;
};

template <typename T>
class Derived : public Base
{
    int DoStuff(int arg) override
    {
         // do some stuff
         return 0;
    }

    int DoStuffVectorized<char>(int arg) override
    {
         // do some stuff for T == char
         return 0;
    }

    int DoStuffVectorized<int>(int arg) override
    {
         // do some stuff for T == int
         return 0;
    }
};

但是我无法使这项工作。

编辑：我收到以下错误消息：错误C2143：语法错误：缺少';' 在'<'之前int DoStuffVectorized<char>(int arg) override。

当我将其更改为：template<char> int DoStuffVectorized(int arg) override我得到：错误C2898：...'：成员函数模板不能是虚拟的

关于如何实现这样的建议？我需要它的原因是我有一个std :: vector存储各种类型的数据（通过使用Derived <>）。这样，无论使用哪种存储类型，我都可以使用相同的简单代码，即使使用特殊的DoStuff矢量化实现，我也希望做到这一点。

用户名

您必须在类之外专门化模板成员函数：

#include <iostream>

class Base
{
    public:
    virtual int DoStuffVectorized(int arg) = 0;
};

template <typename T>
class Derived : public Base
{
    public:
    int DoStuffVectorized(int arg) override;
};

template <>
int Derived<char>::DoStuffVectorized(int arg)
{
     std::cout <<  "T == char\n";
     return 0;
}

template <>
int Derived<int>::DoStuffVectorized(int arg)
{
     std::cout <<  "T == int\n";
     return 0;
}

int main(){
    Derived<char> c;
    Derived<int> i;
    Base* b[] = { &c, &i };
    for(auto* x : b)
        x->DoStuffVectorized(0);
    // undefined reference to `Derived<double>::DoStuffVectorized(int)'
    // Derived<double> d;
}

如果要在编译时捕获意外的实例，请执行以下操作：

#include <type_traits>

// A std::false_type (useful in a static_assert)
template <typename T>
struct static_false : std::false_type
{};

template <typename T>
int Derived<T>::DoStuffVectorized(int arg)
{
    static_assert(static_false<T>::value, "Neither 'char' or 'int'");
    return 0;
}

本文收集自互联网，转载请注明来源。

如有侵权，请联系[email protected] 删除。