Question

我正在尝试一下类型特征和模板专业化。例如：

enum TestEnum
{
    VALUE0 = 0,
    VALUE1 = 1,
    VALUE2 = 2
    //... And so on...
};

template<int Value>
class cTestClass;

//specializations
template<>
class cTestClass<VALUE0>
{
    static int GetVal() { return VALUE0; }
};

template<>
class cTestClass<VALUE1>
{
    static int GetVal() { return VALUE1; }
};

template<>
class cTestClass<VALUE2>
{
    static int GetVal() { return VALUE2; }
};

typedef cTestClass<VALUE0> cClassVal0; //(1)
typedef cTestClass<VALUE1> cClassVal1; //(2)
typedef cTestClass<VALUE2> cClassVal2; //(3)

//Later in the code
template<int Value>
cTestClass<Value>* Create()
{
    return new cTestClass<Value>(/*..*/);
}

//And using the upper function
cClassVal2* pTestClass = Create<VALUE2>();

这绝对没问题。目标是为界面的用户提供一种不处理模板和模板参数的方法（好的，除了使用 Create（））。这就是代码底部的typedef的原因。

这不是我想要实现的目标： cTestClass应该有一个成员变量，可以通过成员函数访问。在某些情况下，我要么用户能够修改成员变量，要么不要修改成员变量。所以基本上这意味着两个成员函数，一个将成员作为const引用（不可修改）或非const（可修改）返回。问题是，如果提供了这两个成员函数，则用户总是有机会修改成员变量。所以我想在编译期间选择合适的成员函数，并为用户提供一个正确的成员函数。

我提出的唯一解决方案看起来基本上是这样的：

template<int Value, bool ConstAccess>
class cTestClass;

//specializations
template<>
class cTestClass<VALUE0, true>
{
    const std::string& get() const
    {
        return m_strName;
    }

    static int GetVal() { return VALUE0; }

private:
    std::string m_strName;
};

template<>
class cTestClass<VALUE0, false>
{
    std::string& get()
    {
        return m_strName;
    }

    static int GetVal() { return VALUE0; }

private:
    std::string m_strName;
};

//For every upcoming cTestClass two specializations

typedef cTestClass<VALUE0, true> cConstObjectVal0;
typedef cTestClass<VALUE0, false> cObjectVal0;
//And for the rest...

除了事实上这实际上是不必要的代码重复之外，我总是必须为每个可能的VALUE指定两个typedef。但是用户不应该面对这个选择，他应该总是能够使用上面给出的类型（参见1,2,3）。

这甚至可能吗？

我google了一下，想出了以下网站：ACCU:: An introduction to C++ traits。这个解释似乎是一个匹配的蓝图，但我真的不能把这些碎片放在一起。我在这里描述了另一种可能性：C++ Template specialization to provide extra member function?只需添加一个函数，但这仍然无法解决我的typedef问题。

Answer 1

我们可以尝试使用SFINAE：

typedef char True;
typedef long False;

template <typename VALUE0, typename IsConst>
class cTestClass
{
public:

    template <typename T, T> struct TypeCheck {};

    const std::string& get(TypeCheck<IsConst, True >* dummy = NULL);
          std::string& get(TypeCheck<IsConst, False>* dummy = NULL);
}

typedef cTestClass<VALUE0, True>  cConstObjectVal0;
typedef cTestClass<VALUE0, False> cObjectVal0;

我还没有尝试编译它，但一般原则是防止其中一个函数正确编译，然后，由于SFINAE原则，编译器将丢弃错误的版本。

C ++模板专门化提供/添加不同的成员函数

1 个答案: