模板化 class 构造函数在结构中使用了错误的重载

Question

测试如下：

class NotInit{};

NotInit NOT_INIT;

template<class T>
class Optional{

  T value;
  bool has_value;

public:
  Optional() : value(), has_value(false){}
  explicit Optional(NotInit):value(), has_value(false) {}
  explicit Optional(T const & val):value(val), has_value(true){}
  explicit Optional(Optional<T> const & other) {}

  Optional& operator=(Optional<T> const & other){}
  Optional& operator=(T const & other){}
};

enum X {
  FIRST
};

struct Some {
  Optional<X> member;
};

int main(int, char**){
  Optional<X> const opt(NOT_INIT);
  Some s = {NOT_INIT};
  return 0;
}

Clang 3.4 抱怨：

../st.cpp:31:12: error: no viable conversion from 'NotInit' to 'Optional<X>'
        Some s = {NOT_INIT};
                  ^~~~~~~~
1 error generated.

为什么它抱怨结构初始化但抱怨变量？为什么不选择具有正确参数的构造函数？

缺少什么重载以便我可以使用它来初始化结构？

我无法使用 boost，我不确定如果使用 boost::optional.

是否会出现此错误

Answer 1

您正在标记您的构造函数 explicit。因此，当您尝试使用大括号初始化器列表初始化 struct Some 时，您正在触发隐式转换...

此处阻止：

class NotInit;
template <typename T>
class Optional {
    // Here => Optional(NotInit) cannot be called implicitly
    explicit Optional(NotInit):value(), has_value(false) {}
};
/* ... */
Some s = {NOT_INIT}; // Implicit call to Optional<X>(NotInit): whoops!

如果删除 explicit，您可以保留：

Some s = {NOT_INIT};

如果您选择不这样做，则必须像这样实例化 s：

Some s = {Optional<X>(NOT_INIT)};

在任何情况下，您都必须删除复制构造函数（必须执行复制而不是 "dummy" 构造函数）上的 explicit 关键字。
为什么？因为一旦从 NOT_INIT 构建了 Optional<X> 对象，就必须向 s.member 制作一个副本。

注意：您还可以提供一个移动构造函数，这在这种情况下更合适，因为您从 NOT_INIT 的转换中获得的对象是一个右值。

模板化 class 构造函数在结构中使用了错误的重载

Templated class constructor uses wrong overload when in struct

c++

templates