如何通过C++类模板实例对象访问其内部声明的using/typedef类型别名

问题原因 #

MyObject::TypeFromTemplate和MyObject.TypeFromTemplate两种写法不符合C++语法规则：

• .运算符仅用于访问对象的成员变量、成员函数，不能用于访问类型
• ::作用域解析符仅接受类型名、命名空间名作为左操作数，不能直接接实例对象名
  必须先通过decltype拿到实例对应的类型，移除引用修饰后，才能访问类内部定义的类型别名。

方案1：使用C++标准库工具简化写法 #

C++14及以上标准中，可以直接用标准库提供的std::remove_reference_t简化原有写法：

#include <type_traits>

// 替换原有长写法
using TargetType = std::remove_reference_t<decltype(MyObject)>::TypeFromTemplate;

如果是C++23及以上版本，标准已经支持直接从带引用的类型访问成员类型，无需手动移除引用，写法更简单：

using TargetType = decltype(MyObject)::TypeFromTemplate;

方案2：自定义别名模板一劳永逸 #

如果需要高频访问这类模板类的内部类型，可以提前定义一个泛用的别名模板，后续调用时非常简洁：

#include <type_traits>

template <typename T>
using ClassInnerType = typename std::remove_reference_t<T>::TypeFromTemplate;

// 后续使用时只需要写这一行
using TargetType = ClassInnerType<decltype(MyObject)>;

如果你的类还有其他内部类型需要访问，可以对应多定义几个别名模板即可。

方案3：用宏进一步缩短调用（可选） #

如果连decltype都不想每次写，可以定义一个宏做封装，适合大量高频调用的场景，注意宏名尽量取不容易和其他代码冲突的名称：

#define GET_INNER_TYPE(Obj) typename std::remove_reference_t<decltype(Obj)>::TypeFromTemplate

// 使用时直接传入对象名即可
using TargetType = GET_INNER_TYPE(MyObject);

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