请教一个 C++模板问题 (≥C++17)

```C++
#include <iostream>

struct SomeComplexBase{
static inline int data_1 = 1;
static inline int data_2 = 2;
// ...
// static inline int data_n = N;
};

struct ClassA: SomeComplexBase{

};

struct ClassB {
typedef SomeComplexBase Base;
};

template<typename T, bool>
struct DeWapper;

template<typename T>
struct DeWapper<T, false> {
typedef typename T::Base Base;
};

template<typename T>
struct DeWapper<T, true> {
typedef T Base;
};

template<typename T>
struct De {
typedef typename DeWapper<T, std::is_base_of_v<SomeComplexBase, T>>::Base Base;
};

template<typename T>
int func() {
return De<T>::Base::data_1;
}

int main() {
std::cout << func<ClassA>() << std::endl;
std::cout << func<ClassB>() << std::endl;
}
```

能不能对于每个 data_n 写一个 template 的 getter function ，然后对这两个类 specialize

这个，使用 typedef 就会有这种问题，如果不能改成 alias declaration ，那的确没有好方法，标准库中 type trait 也是有这种历史代码使用嵌套在模版化的 struct 里的 typedef 实现的，所以存在两套调用，对应的每种都有对应的别名模版调用方式，例如 std::remove_const<T>::type 的别名模版调用 std::remove_const_t<T>，为啥标准库不统一起来，估计也没什么好方法，不如不统一

@ink19 应该是这个意思吧？直接加一层封装就好了，感觉函数式编程就是这样，功能都能想办法实现，就是加封装的层数问题

@ink19 是这个意思, 我就知道肯定有办法的, 谢谢~

https://godbolt.org/z/vq6hM4534

定义一个 trait 类，其中有一个类型成员 BaseType：
当 T::Base 存在时 using BaseType= T::base
当 T 继承自 SomeBase 时 using BaseType=SomeBase

另外介绍一下这个站：
https://cpppatterns.com/patterns/function-template-sfinae.html
https://cpppatterns.com/patterns/class-template-sfinae.html


我几乎每回重新写 trait 都要来查一下。。

@GeruzoniAnsasu 也是好办法, 谢谢推荐

虽然用 Traits 可以解决这个问题，但是从另一个角度想，func 似乎不应该同时接受 classA 和 classB ，毕竟一个是 IS-A, 一个是 HAS-A （借用继承的思路）

@GeruzoniAnsasu 请教一下，这里 constexpr _helper 的函数体在什么情况下允许为空的呢？

@lujunliang 模板只有在用到的时候才会实例化，实例化前被剔除掉的话根本不会进入语法检查阶段。 trait 类的所有成员最终只会留下 BaseType**推导结果** 的定义。在这个类里写一个 int a(){return "X";} 编译器都是不管的。所以只把声明留下来不要函数体也可以，反正最后编译器不会去检查这个函数的定义在哪里，只是用声明计算类型而已。