0

我正在尝试创建一个可以具有由模板参数控制的函数和成员的类。我在想这样的事情。

template<int control>
class ControlledDeclaration
{
public:
    if(1 == control)
        int Get() { return 0; }
    else if(2 == control)
        char* Get() { return "get"; }
    else if (3 == control)
        bool Get() { return true; }
};

void test_template()
{
    ControlledDeclaration<1> c_int;
    ControlledDeclaration<2> tx_int;
    ControlledDeclaration<3> b_int;
}

如果可能，该怎么做？

4

2 回答 2

2

我将使用的方法是在特性类中专门化细节并使用模板提供接口。在这个简单的示例中，使用特征而不是专门化实际类型并没有太多好处，但一般来说，使用特征比专门化更容易定制几个变化点。

template <int> struct ControlDeclarationTraits;
template <>
struct ControlDeclarationTraits<1> {
    typedef int type;
    static int value() { return 0; };
};

template <>
struct ControlDeclarationTraits<2> {
    typedef char const* type;
    static char const* value() { return "get"; }
};

template <>
struct ControlDeclarationTraits<3> {
    typedef bool type;
    static bool value() { return true; }
};

template<int control>
class ControlledDeclaration
{
public:
    typename ControlDeclarationTraits<control>::type Get() {
        return ControlDeclarationTraits<control>::value();
    }
};

顺便说一句，字符串文字的类型是char const[n]（对于合适的n）而不是char[n]，即，您不能真正使用字符串文字来初始化 a char*。它确实有效，因为它被认为有必要支持现有代码来分配字符串文字，char*但它实际上是一个谎言：试图为任何值分配一个值会导致未定义的行为。制作指针const可以清楚地表明内容不应该被修改。

于 2013-07-31T23:07:34.227 回答
1

看看boost::enable_if，这正是你想要的。

于 2013-07-31T20:11:57.713 回答