C++20的concept为何不兼容const auto&、decltype(auto)参数语法？

f4 报错原因 #

C++20 对带概念约束的类型占位符有明确的语法顺序要求：

[cv 限定符（可选）] + [概念名] + [auto / decltype(auto)]

概念名必须紧邻 auto 或 decltype(auto) 之前，cv 限定符只能放在概念名的最前面。

你写的 Octet const auto& 违反了该语法规则，const 插入到了概念名 Octet 和 auto 之间，编译器无法识别该结构，因此报出「expected ‘auto’ or ‘decltype(auto)’ after ‘Octet’」的错误。
将写法调整为符合顺序的 const Octet auto& 即可正常编译。

f5 报错原因 #

C++ 标准明确限定：函数参数的类型占位符仅允许使用 auto，不允许使用 decltype(auto)，该限制和是否搭配概念修饰无关。

decltype(auto) 仅支持在变量声明、函数返回值类型推导场景下使用，无法用作函数参数的占位类型，因此你的写法直接违反语法规则，触发编译错误。

内容的提问来源于stack exchange，提问作者xmllmx