停止 C++98 和 C++11 的隐式转换

Question

我有一个带有get() 方法的模板类，它返回模板化的类型。它还有更多内容，但为简单起见，代码如下所示：

Attribute<float> attr(0.0f);
float value = attr.get();

但是，以下内容也将编译：

Attribute<float> attr(0.0f);
int value = attr.get();

我想让编译器捕捉到它，并告诉我我有一个非法转换。一个简单的方法是创建一个新的Holder<T> 类，它有一个转换运算符到它模板化的类型。 get 方法的工作原理如下：

template<typename T>
Holder<T> Attribute::get()
{
    return Holder<T>(m_value);
}

Holder 类看起来像：

template<typename T>
class Holder 
{
    private:
        T m_value;
    public:
        Holder(T value) : m_value(value) {}
        //implicit conversion
        operator T() const { return m_value; }
};

（我只是在编辑器中写了这个，还没有测试过，但这应该可以在 C++98 中做我想要的）

Attribute<float> attr(0.0f);
// This should now not compile because we have no conversion from
// Holder<float> to int.
int value = attr.get();

当我们迁移到 C++11 时，棘手的一点是，我可能想使用 auto，但突然间，当我这样做时：

Attribute<float> attr(0.0f);
auto value = attr.get();

value 现在将是我不想要的Holder<float> 类型。谁能想到一种让两者都起作用的方法，也许有一些提升魔法。

Answer 1

您可以在Attribute 类中定义typedef，如下所示：

typedef T value_type;

然后在作业部分：

Attribute<float> attr(0.0f);
decltype(attr)::value_type value = attr.get();

这样你就不需要那个支架了。

如果您坚持使用该持有人，您也可以这样做并从持有人中提取value_type。