将 boost::Optional 与常量类型一起使用 - C++

Question

我有一个容器类，它使用 boost::Optional 来保存该值。代码如下所示，

template<typename T>
struct traits
{
    typedef T  value_type;
    typedef T& reference;
};

template<typename T>
struct traits<const T>
{
    typedef const T  value_type;
    typedef const T& reference;
};

template<typename T>
struct traits<T*>
{
    typedef T* value_type;
    typedef T* reference;
};

template<typename T>
struct traits<const T*>
{
    typedef const T* value_type;
    typedef const T* reference;
};

template<typename T>
class container
{
public:

    typedef typename traits<T>::reference reference;
    typedef typename traits<T>::value_type value_type;

    container() {}

    void set(reference value) {
        op.reset(value);
    }

    reference get() const {
        return boost::get(op);
    }

private:
    boost::optional<value_type> op;
};

int main()
{
    foo f;
    container<const foo> c;
    c.set(f);
    return 0;
}

它适用于除 const 之外的其他类型。当我使用 const 类型时出现错误（const foo* 工作正常）。

1. boost::Optional 支持常量类型吗？如果不是，我该如何解决这个问题？
2. 是否有现成的特征实现可供我使用，而不是定义自己的特征？

任何帮助都会很棒！

Answer 1

问题不在于 boost::Optional，而在于您尝试执行的操作的逻辑。首先创建一个 const 容器，然后尝试修改其中包含的内容。如果这有效的话我会感到惊讶。

我认为你应该做标准容器（如vector）所做的事情并禁止不可复制的模板参数。

否则，您将不得不接受这样一个事实：当 T 不可复制时，您的 set 方法将无法工作，并提供一个执行初始化的构造函数：

class container
{
public:

    container(reference init_value) : op(init_value) {}

};

int main()
{
    foo f;
    container<const foo> c(f);  // OK
    //   c.set(f);  NO
    return 0;
}

Answer 2

template<typename T>
struct traits
{
    typedef T  value_type;
    typedef T& reference;
};

template<typename T>
struct traits<const T>
{
    typedef const T  value_type;
    typedef const T& reference;
};

难道 const 特化完全没有意义吗？如果没有专门化，traits 将使用 const int 作为 value_type 和 const int& 作为reference，这正是您试图通过 const 专业化实现的目标，对吧？