我正在实现一个容器,例如:
template<typename T>
class Container
{
public:
using value_type = T;
...
};
是否有从 const Container
派生 const value_type
的好方法?
背景:
我已经通过嵌套模板类实现了迭代器类型:
template<typename Container, typename Value>
class iterator_base
{
public:
...
Value& operator*() const;
private:
Container* c;
};
using iterator = iterator_base<Container, value_type>;
using const_iterator = iterator_base<const Container, const value_type>;
工作正常,但 iterator_base
的第二个模板参数感觉多余。
最佳答案
显而易见的方法是删除第二个参数,并根据第一个参数的常量特性来确定是否应添加 const
。标准库为此提供了一些有用的元函数:
#include <type_traits>
template<typename Container>
class iterator_base
{
using Value = typename std::conditional<std::is_const<Container>::value,
typename std::add_const<typename Container::value_type>::type,
typename Container::value_type>::type;
public:
...
Value& operator*() const;
private:
Container* c;
};
关于c++ - 对于类型 Class::Type,我可以从 const Class 派生 const Class::Type 吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45796860/