模板参数为const类型时类继承与构造函数继承的正确性问题

首先明确一个基础规则：直接继承const限定的类类型是完全无效的，比如下面这段代码根本过不了编译：

struct base { }; 
struct inherit : const base { }; 

原因很简单：C++不允许从const/volatile限定的类型继承，基类在继承列表中必须是一个非cv限定的类类型。

那如果把基类类型放到模板参数里，情况会有变化吗？比如我们写这样的代码：

struct base { };
template<typename T> struct inherit : T { using T::T; };
int main() { inherit<base const>{}; }

这里有趣的事情发生了：GCC会认为这段代码完全没问题，但Clang会抛出错误：

<source>:6:2: error: 'const base' is not a direct base of 'inherit<const base>', cannot inherit constructors using T::T;
^ ~
<source>:10:2: note: in instantiation of template class 'inherit<const base>' requested here
inherit<base const>{};
^
1 error generated.
Compiler returned: 1

为什么会出现编译器差异？ #

问题的核心在于C++标准对构造函数继承和基类cv限定符的规定：

1. 当你写struct inherit : T且T是cv限定的类类型时，标准会自动忽略T的cv限定符——也就是说，inherit<const base>实际的直接基类是base，而不是const base。
2. 而使用using T::T;继承构造函数时，标准要求T必须是派生类的直接非cv限定的基类。

GCC在这里做了宽松处理：它自动关联到了去掉cv限定后的实际基类，所以允许继承构造函数；但Clang严格遵循标准，它认为模板参数T是const base，而派生类的直接基类是base，两者并不匹配，因此报错。

正确的写法是什么？ #

要让代码符合标准，并且能被所有主流编译器（包括GCC和Clang）接受，必须显式移除T的const限定后再继承构造函数，比如：

#include <type_traits>
template<typename T> struct inherit : T {
    using U = std::remove_const_t<T>;
    using U::U;
};

这里我们用std::remove_const_t去掉T的const限定，然后继承这个非cv限定类型的构造函数，完全符合标准要求。

或者，你也可以直接确保模板参数传入的是非cv限定的类类型，但如果无法控制传入的参数，显式移除const限定是更稳妥的方案。

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