为什么C++隐式转换有效，而显式转换不行？

Question

以下代码在C++11中编译成功：

#include "json.hpp"
using json = nlohmann::json ;

using namespace std ;

int main(){
    json js = "asd" ;
    string s1 = js ; // <---- compiles fine
    //string s2 = (string)js ; // <---- does not compile
}

它包括用于现代C++的JSON。一个工作示例在这个Wandbox中。

JSON变量js被隐式转换为字符串。但是，如果我取消最后一行的注释，这是一个显式转换，它将无法编译。这里的编译结果。

除了这个json库的特殊细微差别之外，如何编写一个类，使隐式转换工作，而显式转换不工作？
是否有某种构造函数限定符允许这种行为？

Answer 1

下面是一个简化的代码，它再现了同样的问题：

struct S
{
    template <typename T>
    operator T() // non-explicit operator
    { return T{}; }
};

struct R
{
    R() = default;
    R(const R&) = default;
    R(R&&) = default;
    R(int) {} // problematic!
};

int main()
{
    S s{};
    R r = static_cast<R>(s); // error
}

我们可以看到编译错误类似：

error: call of overloaded 'R(S&)' is ambiguous
     R r = static_cast<R>(s);
                           ^
note: candidates...
     R(int) {}
     R(R&&) = default;
     R(const R&) = default;

这个问题依赖于泛型的s::operator T()，它很乐意将值返回为您想要的任何类型。例如，将s分配给任何类型都将起作用：

int i = s; // S::operator T() returns int{};
std::string str = s; // S::operator T() returns std::string{};

R r(s); // same ambiguity error

R() = default;
R(const R&) = default;
R(R&&) = default;
R(int) {}

A是转换结果所需的类型。P是转换函数模板的返回类型

在这种情况下：

R r = s;

R是转换(A)结果所需的类型。但是，您能否在下面的代码中判断A将表示哪种类型？

R r(s);