c++ - 我似乎无法使用enable_if实例化类专业

我正在尝试创建一个具有3种可能的模板方法实现版本的类，具体取决于模板类型是三个“类型集”之一。另外，我试图将这些对象的实例保留在 map 中。

所以我最初的尝试是:

class DescriptorType {
public:
    int id;
    DescriptorType() : id(-1) {}
    virtual ~DescriptorType() {}
};

template <typename T>
class Descriptor : public DescriptorType {
public:
    T value;

    void update(TYPE_CONSTRAINT((TYPE(int) || TYPE(float)))) {
        // specific implementation for these types
    }

    void update(TYPE_CONSTRAINT((TYPE(vec2) || TYPE(vec3) || TYPE(vec4)))) {
        // specific implementation for these types
    }

    void update(TYPE_CONSTRAINT((TYPE(mat2) || TYPE(mat3) || TYPE(mat4)))) {
        // specific implementation for these types
    }
};

(对于宏，我有一个包含以下内容的包含文件):

template <bool B, typename T = void>
using enable_if_t = typename std::enable_if<B, T>::type;

#define TYPE_CONSTRAINT(x) enable_if_t<x, T>
#define TYPE(x) std::is_same<x, T>::value

但这似乎不起作用。它可以编译，但是在我尝试实例化任何T的Descriptor<T>的那一刻，无论是通用T还是像“int”这样的具体类型，我都会为所有可能的类型(在我的情况下为16)得到链接器错误。

我的猜测是我使用enable_if错误。但我不确定如何。

更新:

我也尝试了这种方法，结果相同:

template <typename T, class Enable = void>
class Descriptor : public DescriptorType {
public:
    T value;
    void update();
};

template <typename T>
class Descriptor<T, TYPE_CONSTRAINT((TYPE(int) || TYPE(float)))> : public DescriptorType {
public:
    T value;

    void update() {
        //...
    }
};

template <typename T>
class Descriptor<T, TYPE_CONSTRAINT((TYPE(vec2) || TYPE(vec3) || TYPE(vec4)))> : public DescriptorType {
public:
    T value;

    void update() {
       //...
    }
};

template <typename T>
class Descriptor<T, TYPE_CONSTRAINT((TYPE(mat2) || TYPE(mat3) || TYPE(mat4)))> : public DescriptorType {
public:
    T value;

    void update() {
        //...
    }
};

但是得到相同的链接器错误。

最佳答案

声明不带参数的函数的语法foo(void)严格用于C兼容性。当void来自模板替换时，它不起作用。 (您实际上并没有得到void，但是根据注释，这是您的意图。)

SFINAE仅在立即声明中使用模板参数。您不能使用类模板的参数禁用成员函数。 (此规则非常令人讨厌，但即使是庞大的概念提案也没有建议对其进行更改。)

要基于类模板参数禁用成员，您需要添加伪造的模板参数，然后使SFINAE看起来依赖于该模板参数。 SFINAE也可以安全地放在模板参数默认参数中:

#define TYPE_CONSTRAINT(x) enable_if_t< (bogus(), x) >


template< typename bogus = void,
    typename = TYPE_CONSTRAINT((TYPE(int) || TYPE(float))) >
void update() {

仍然存在过载的问题。 SFINAE在重载解决时发生，但是在声明重载时检查其相互兼容性。仅SFINAE不足以授予对不同功能的兼容性，因此您也需要破坏该安全机制。

#define TYPE_CONSTRAINT(x) enable_if_t< x, bogus >

template< typename bogus = void,
    void * = (TYPE_CONSTRAINT((TYPE(int) || TYPE(float))) *) nullptr >
void update() …


template< typename bogus = int, // Use different types here
    int * = (TYPE_CONSTRAINT((TYPE(vec2) || TYPE(vec3))) *) nullptr >
void update() …


template< typename bogus = char,
    char * = (TYPE_CONSTRAINT((TYPE(mat2) || TYPE(mat3))) *) nullptr >
void update() …

http://coliru.stacked-crooked.com/a/64e957e0bb29cde9

认真地说，这是解决方法。在光明的一面，您访问了SFINAE的最黑暗角落，并活着讲述这个故事!

关于c++ - 我似乎无法使用enable_if实例化类专业，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/32322733/