c++ - 停止 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> 类型我不想要。任何人都可以想出一种让两者都起作用的方法，或许可以使用一些 boost 魔法。

Answer 1

您可以在 Attribute 类中定义一个 typedef:

typedef T value_type;

然后在作业部分:

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

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

如果你坚持使用那个 holder，你可以做同样的事情并从 holder 中提取 value_type。