Question

所以我想做的是创建一个模板类，它可能包含或不包含基于传入的模板参数的成员变量。如下所示：

template<typename T, bool flag>
class base
{
   foov<std::enable_if<flag, T>::type> m_var;
};

以上代码无法在编译器中存活。

有谁知道我怎么能做到这一点？

Answer 1

根据模板参数设置具有启用/禁用成员的基类：

template<typename T, typename Enable = void>
class base_class;

// my favourite type :D
template<typename T>
class base_class<T, std::enable_if_t<std::is_same<T, myFavouriteType>::value>>{
    public:
        int some_variable;
};

// not my favourite type :(
template<typename T>
class base_class<T, std::enable_if_t<!std::is_same<T, myFavouriteType>::value>>{
    public:
        // no variable
};

template<typename T>
class derived_class: public base_class<T>{
    public:
        // do stuff
};

这应该为您提供了一种基于类型启用/禁用成员的好方法。

Answer 2

我认为这就是你要找的东西。

默认情况下，类模板没有任何成员数据。

template<typename T, bool flag>
class base
{
};

添加具有成员数据的类模板的特化。

template<typename T>
class base<T, true>
{
   foov<T> m_var;
};

Answer 3

#pragma once
#include <type_traits>

template <typename T, bool D, typename Enabled=void>
class Node;


template <typename T, bool D>
class Node<T, D, std::enable_if_t<D>>
{
public:
    Node(const T& v) : value(v) {}

private:
    T value;
    Node* next = nullptr;
};

template <typename T, bool D>
class Node<T, D, std::enable_if_t<!D>>
{
public:
    Node(const T& v) : value(v) {}

private:
    T value;
    Node* next = nullptr;
    Node* prev = nullptr;
};

基于布尔标志的单链接或双链接节点

Answer 4

我有一个解决方法。可能看起来很丑，但确实解决了我的一些问题

首先我定义一个零大小的类型：

typedef int zero[0];

接下来我创建一个宏：

#ifndef VAR

#define VAR(Enable,YourType,VarName) \    

std::conditional< Enable,YourType,zero >::type VarName

#endif

然后是这样的一个类：

template < int Cond >
class Foo
{
    VAR(Cond == 0,int,var);

    void print()
    {
        if (!sizeof(var)) return;
        //...
    }
};

当您使用var之类的结果时，请在使用之前检查它的大小。如果大小为零，则无效。

我可以使用SFINAE在模板类中有选择地定义成员变量吗？

4 个答案: