鸭子类型与 C++20 concept 中 自带干粮 部分的疑问

[muyuuuu]

#include <concepts>
#include <iostream>
#include <type_traits>

class Data {
public:
    Data(int x, int y) : x{x}, y{y} {}
    int x;
    int y;
    void show() {
        std::cerr << x << " " << y << "\n";
    }
};

不行：

const bool a = requires (Data d{1, 2}) {d.show();};

行：

const bool a = requires (Data d = Data{1, 2}) {d.show();};

是为什么

[frederick-vs-ja]

此处语法与函数的默认实参一致，必须有 =。

[frederick-vs-ja]

不对。这是错误的， requires 表达式的参数列表不能有默认实参。

• https://en.cppreference.com/w/cpp/language/requires#Local_parameters
• https://zh.cppreference.com/w/cpp/language/requires#.E5.B1.80.E9.83.A8.E5.BD.A2.E5.8F.82
• [expr.prim.req.general]/4

目前 GCC 接受这种错误的写法（链接），此为已经确认的 bug。

• https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99511