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

[justou]

有这样一些我无法修改的类(简化一下):

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;
};

我自己实现的一个模板函数

void func(){
/*
 * 接收 ClassA, ClassB 类型
 * 有没有什么模板技巧可以消除 ClassA::data_n, ClassB::Base::data_n 这种不一致的成员访问方式?
 * 比如, 可以这样访问成员 NewType::data_n?
 *
 * if constexpr(std::is_same_v(T, ClassB))的方式纵然可行,
 * 但是两个分支代码都是一样的, 仅有以上提到的访问成员不一致的区别, 跟写两个完全重复的模板函数一样.
 * */
}

谢谢各位

[ink19]

```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;
}
```

[yelite]

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

[TuneG]

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

[ink19]

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

[justou]

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

[GeruzoniAnsasu]

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 都要来查一下。。

[justou]

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

[dangyuluo]

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

[lujunliang]

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

[GeruzoniAnsasu]

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