c++ - 为什么没有发生隐式转换

Question

为什么我的转换构造函数不起作用？显式转换编译良好。

struct element {};

struct element_set {
    element_set(const element& e) : e(e) {};
    element_set& operator+(const element& e) { return *this; }

    const element &e;
};

element e1, e2;

auto es1 = element_set(e1) + e2; 
auto es2 = e1 + e2;

kent:kas kent$ g++ -std=c++14 -g implicit.cc
implicit.cc:13:15: error: invalid operands to binary expression ('element' and 'element')
auto es2 = e1 + e2;
           ~~ ^ ~~
1 error generated.

根据@Krizz 的回答和下面@BenVoigt 的评论，我可以通过向 element_set 添加一个 friend 来进行隐式转换:

struct element_set {
    element_set(const element& e) : e(e) {};
    element_set& operator+(const element& e) { return *this; }
    friend element_set operator+(const element& l, const element& r);
    const element &e;
};

element_set operator+(const element& l, const element& r) { return l+r; }

感谢您的快速帮助!

Answer 1

您使用运算符的代码等同于:

element e1, e2;
auto es1 = element_set(e1).operator+(e2); 
auto es2 = e1.operator+(e2);

你现在能看出为什么这不起作用吗？struct element 上没有方法 operator+。因此，编译器唯一可以尝试的是形式的可达函数:

R operator+(TypeConvertibleFromElement, TypeConvertibleFromElement)

不存在这样的函数。

注意:以上仅供说明之用。讨论 C++ 语言规范和编译器的工作方式需要更精确的描述。