适用于不同lambdas的三元操作员会产生不一致的结果

Question

考虑以下使用三元运算符获取两个 lambda 的公共函数指针类型

int main() {
  true ? [](auto) noexcept {} : [](int) {};
}

GCC-trunk 仅在 C++14 中接受它，但在 C++17/20 中拒绝它 (Demo):

<source>:2:8: error: operands to '?:' have different types 'main()::<lambda(auto:1)>' and 'main()::<lambda(int)>'
    2 |   true ? [](auto) noexcept {} : [](int) {};
      |   ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Clang-trunk 在所有 C++14/17/20 模式下接受它 (演示）。

MSVC-trunk 仅在 C++20 中接受它，但在 C++14/17 中拒绝它（Demo):

<source>(2): error C2446: ':': no conversion from 'main::<lambda_01e5bb79b5a210014fb78333f6af80f9>' to 'main::<lambda_57cf6f5767bc1bee4c1e1d9859a585d2>'
<source>(2): note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called

哪个编译器是正确的？

Answer 1

由于每个lambda表达式都有唯一的类型，并且lambda表达式都不可转换到另一个类型， [expr.cond]/6 适用。

如果第二和第三操作数没有相同的类型，并且要么（可能是CV合格的）类类型，则使用过载分辨率来确定要应用于操作数的转换（如果有）（[[ match.oper]，[over.built]）。如果过载分辨率失败，则该程序的形式不佳。
否则，将应用这样确定的转换，并在本第一项的其余部分使用转换后的操作数代替原始操作数。

。

候选人是（ [over.built]/25 ）：

对于每种类型t，其中t是指针，指针到成员或范围的枚举类型，存在表单的候选操作员功能

  t运算符？:( bool，t，t）;
 

我相信过载分辨率应该应该解决。在这种情况下，成功，因此，两个操作数都应转换为void（*）（int）。

也就是说，IMO Clang是正确的。

---

编辑：我相信[]（auto）noexcept {}可转换为void（*）（int），因为它具有转换功能模板code> template＆lt; T＆GT级操作员fp（），其中fp是void（*）（t）（t）（ [expr.prim.lambda.closure]/9 ）。

对于没有lambda捕获的通用lambda，闭合类型具有转换功能模板到指针的功能。
转换功能模板具有相同的发明模板参数列表，并且函数指针具有与函数调用操作员模板相同的参数类型。
函数指针的返回类型应表现得像是声明类型的指定符，表示相应函数呼叫呼叫操作员模板的返回类型。

而且我相信模板参数扣除应该使此转换模板可作为转换为void（*）（int）（ [temp.deduct.conv]/5 ）。

模板参数扣除是通过比较转换函数模板的返回类型（调用p）来完成的。如[temp.deduct.type]。

[...]

通常，扣除过程试图找到模板参数值，该值将使推论a与a相同。
但是，可以忽略a的某些属性：

• [...]
• 如果原始a是功能指针或指针到会员功能类型，则其noexcept。