c++ - 转换运算符 + 转换构造函数 = 不直观的行为？

Question

我不明白为什么下面的代码打印 struct Value 而不是 int (这意味着转换构造函数正在转换为 Value int)。 (视觉 C++ 2012)

为什么会这样？为什么编译器完全忽略 Value(int) 构造函数？

#include <iostream>
#include <type_info>

using namespace std;

struct Value { Value(int) { } };

struct Convertible
{
    template<class T>
    operator T() const
    { throw typeid(T).name(); }
};

int main()
{
    try { Value w((Convertible())); }
    catch (char const *s) { cerr << s << endl; }
}

编辑:

更奇怪的是this (这次它只是 C++11，在 GCC 4.7.2 上):

#include <iostream>
#include <typeinfo>

using namespace std;

struct Value
{
    Value(Value const &) = delete;
    Value(int) { }
};

struct Convertible
{
    template<class T>
    operator T() const
    { throw typeid(T).name(); }
};

int main()
{
    try { Value w((Convertible())); }
    catch (char const *s) { cerr << s << endl; }
}

给出:

source.cpp: In function 'int main()':
source.cpp:21:32: error: call of overloaded 'Value(Convertible)' is ambiguous
source.cpp:21:32: note: candidates are:
source.cpp:9:3: note: Value::Value(int)
source.cpp:8:3: note: Value::Value(const Value&) <deleted>

如果删除了复制构造函数，那为什么会有歧义？!

Answer 1

在第一个示例中，Visual Studio 是不正确的；这个电话是模棱两可的。 C++03 模式下的 gcc 打印:

source.cpp:21:34: error: call of overloaded 'Value(Convertible)' is ambiguous
source.cpp:21:34: note: candidates are:
source.cpp:9:5: note: Value::Value(int)
source.cpp:6:8: note: Value::Value(const Value&)

回想一下，复制构造函数是隐式默认的。管理段落是13.3.1.3 构造函数初始化[over.match.ctor]:

When objects of class type are direct-initialized [...], overload resolution selects the constructor. For direct-initialization, the candidate functions are all the constructors of the class of the object being initialized.

在第二个例子中，删除的函数同样参与了重载决策； they only affect compilation once overloads have been resolved, when a program that selects a deleted function is ill-formed.标准中的激励示例是一个只能从浮点类型构造的类:

struct onlydouble {
  onlydouble(std::intmax_t) = delete;
  onlydouble(double);
};