1

我希望能够使用一些默认值来初始化对象，但是要从外部代码（不嵌入到类本身中）执行此操作。这些对象暴露给外部编辑器，我不想一次又一次地设置相同的值，只更改一些不同的值。因为我已经有了模板类，所以我想从“特征”类中做到这一点。

这是我想要实现的一个简单示例：

template<typename Traits>
class Test
{
    public:
        Test()
        {
            //if Traits has Init init function call Traits::Init(this)
        }

    private:
        typename Traits::Type value;

    friend Traits;
};

struct TestTraits
{
    typedef std::string Type;
};

struct TestTraitsInit
{
    typedef int Type;

    static void Init(Test<TestTraitsInit>* obj)
    {
        obj->value = 0;
    }
};

int main()
{
    Test<TestTraits> obj1;
    Test<TestTraitsInit> obj2;
}

如您所见，Init()仅在某些情况下才有意义。是否可以检查类Traits是否具有Init()功能并仅在它存在时才调用它？

我知道一个非常简单的解决方案是使用空Init()函数，但我想要一个更好的解决方案:)

4

1 回答 1

3

maybe_call_init您可以基于表达式 SFINAE创建一些具有适当 SFINAE 约束专业化的类模板：

template<typename T, typename = void>
struct maybe_call_init
{
    static void maybe_call(Test<T>* obj) { }
};

template<typename T>
struct maybe_call_init<T,
    decltype(T::Init(std::declval<Test<T>*>()), void(0))>
{
    static void maybe_call(Test<T>* obj) { T::Init(obj); }
};

给定一个 trait T，maybe_call_init<T>::maybe_call(obj)将调用T::Init(obj)ifT定义了这样的函数，否则它什么也不做。

然后，您可以通过以下方式在原始类模板中使用它：

template<typename Traits>
class Test
{
public:
    Test()
    {
        maybe_call_init<Traits>::maybe_call(this);
//      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    }
private:
    typename Traits::Type value;
    friend Traits;
};

上面的解决方案有点初级，可以通过将maybe_call_init类模板及其特化隐藏在detail命名空间中来改进，提供一个帮助函数来完成实例化工作。所以给定这个机器：

namespace detail
{
    template<typename T, typename U, typename = void>
    struct maybe_call_init
    {
        static void maybe_call(U* obj) { }
    };

    template<typename T, typename U>
    struct maybe_call_init<T, U,
        decltype(T::Init(std::declval<U*>()), void(0))>
    {
        static void maybe_call(U* obj) { T::Init(obj); }
    };
}

template<template<typename> class T, typename U>
void maybe_call_init(T<U>* obj)
{
     detail::maybe_call_init<U, T<U>>::maybe_call(obj);
}

您的原始Test类的构造函数现在可能如下所示：

template<typename Traits>
class Test
{
    public:
        Test()
        {
            maybe_call_init(this);
        //  ^^^^^^^^^^^^^^^^^^^^^
        }

    public:
        typename Traits::Type value;

    friend Traits;
};

这是一个活生生的例子。

于 2013-05-28T10:14:15.623 回答