用户自定义CTAD参数能否使用auto&&声明？

本文探讨C++中用户自定义类模板实参推导（CTAD）的推导指引参数是否允许使用auto&&声明，以下是示例代码及编译情况：

template<typename T>
struct A {
    A(T);
};

// 编译正常
template<typename T>
A(T&&) -> A<T&&>;

template<typename T>
struct B {
  B(T);
};

// GCC&Clang：编译正常
// MSVC：错误 C3539: 模板实参不能是包含“auto”的类型
B(auto&& ref) -> B<decltype(ref)>;

编译结果说明：

• 采用模板参数T的CTAD推导指引（结构体A的推导规则）可在所有主流编译器中正常编译。
• 使用auto&&的推导指引（结构体B的推导规则）在GCC与Clang中可通过编译，但在MSVC中会触发错误提示。

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