由于删除了模板化左值转换运算符，clang 或 gcc 中可能存在错误？

Question

这是this 问题的后续。 我玩过这段代码并使用了 clang trunk 和 gcc trunk：

struct A
{   
};

struct T
{
    A a;
    operator A() { return a; }
    
    template <typename T> operator const T&() = delete;
};

struct C
{   
    A a;
};

int main()
{
    C c;
    T t;

    c.a = t;
}

Demo

Clang 没有什么可抱怨的，但 gcc 有：

<source>: In function 'int main()':
<source>:23:11: error: use of deleted function 'T::operator const T&() [with T = A]'
   23 |     c.a = t;
      |           ^
<source>:10:27: note: declared here
   10 |     template <typename T> operator const T&() = delete;
      |  

                     ^~~~~~~~

那么，哪个编译器是对的，哪个是错的？

我想看看 gcc 是错误的，但是我该如何克服这个错误呢？

Answer 1

Clang 和 GCC 都是错误的，但至少 GCC 会停止编译，所以稍微好一点。

A 是一个类类型，因此分配给它会通过operator= 重载。你没有提供一个，所以编译器提供了两个的效果

A& operator=(A const&) = default;
A& operator=(A&&) = default;

该引用参数需要从表达式c.a = t 中的t 初始化。对于operator=，引用可以明确地绑定。

[dcl.init.ref]

5 对类型“cv1 T1”的引用由以下表达式初始化 输入“cv2 T2”如下：

• 如果引用是左值引用和初始化表达式

  • [...]
  • 具有类类型（即T2是类类型），其中T1与T2没有引用相关，可以转换为类型的左值 “cv3 T3”，其中“cv1 T1”与“cv3 T3”引用兼容（这 通过枚举适用的转换来选择转换 函数（[over.match.ref]）并通过 重载决议），

  然后将引用绑定到...的左值结果 在第二种情况下转换（或者，在任何一种情况下，转换为适当的 对象的基类子对象）。

• 否则，如果初始化表达式

  • [...]
  • 具有类类型（即 T2 是类类型），其中 T1 与 T2 没有引用相关，可以转换为右值或函数 “cv3 T3”类型的左值，其中“cv1 T1”与 “cv3 T3”（参见 [over.match.ref]），

  then ...调用第二种情况的转换结果 转换后的初始化程序。如果转换后的初始值设定项是纯右值， 它的类型 T4 被调整为类型“cv1 T4” ([conv.qual]) 并且 应用临时实现转换 ([conv.rval])。在任何 在这种情况下，引用绑定到生成的 glvalue（或绑定到 适当的基类子对象）。

关于为这两种情况构建候选集的主题，标准说

[over.match.ref]

1在[dcl.init.ref]规定的条件下，引用可以 直接绑定到应用转换函数的结果 初始化表达式。过载分辨率用于选择 要调用的转换函数。假设“引用 cv1 T” 是被初始化的引用的类型，“cv S”是类型 初始值设定项表达式，具有 S 类类型，候选 功能选择如下：

• 考虑了 S 及其基类的转换函数。那些不隐藏在 S 中的非显式转换函数 并产生类型“对 cv2 T2 的左值引用”（在初始化 对函数的左值引用或右值引用）或“cv2 T2”或 “对 cv2 T2 的右值引用”（初始化右值引用或 对函数的左值引用），其中“cv1 T”是 与“cv2 T2”的引用兼容，是候选函数。为了 直接初始化，那些显式转换函数 不隐藏在 S 中并产生类型“对 cv2 T2 的左值引用”（当 初始化对函数的左值引用或右值引用） 或“对 cv2 T2 的右值引用”（初始化右值引用时 或对函数的左值引用），其中 T2 与 T 的类型相同或 可以通过限定转换转换为 T 类型，也是 候选函数。

该项目符号需要一些工作才能正确解析，但它基本上描述了可能适用于此处的两种不相交的情况之一：

1. 对 T 的左值引用初始化
   • 候选函数是那些产生“对 cv2 T2 的左值引用”的函数。
2. 对 T 的右值引用初始化
   • 候选函数是那些产生“cv2 T2”或“对 cv2 T2 的右值引用”的函数。

对于operator=(A const&)，我们在#1 中，并有一个合成的operator A const&() 作为唯一的候选者。对于operator=(A&&) 其案例#2，非模板operator A() 是唯一的候选者。无论哪种方式，我们都有一个明确的隐式转换序列，其中包含一个用户定义的转换，它绑定了operator= 的引用参数。

但是根据[over.match.best] 中的规则，现在operator= 都不是比另一个更好的可行功能。根据[over.ics.rank] 中的部分排序，这两种转换都不是更好。

这意味着由于对operator= 的模棱两可的调用，该程序应被声明为格式错误。但是，GCC 和 Clang 都会出错（虽然不是 MSVC）¹。 Clang 支持 A&& 重载，而 GCC 支持 A const& 并发出使用已删除转换函数的诊断。但这不是由于任何标准的强制行为。理想情况下，他们都应该报告对operator= 的调用不明确。

---

¹ - A comparison of different compiler behaviors, with a reduced example.