C++模板方法中如何在编译时判断类中是否声明指定类型？

C++标准库并未提供std::is_type_declared这类现成工具，但可以通过**SFINAE（替换失败并非错误）**机制实现编译时的类型存在性检测，以下是具体实现方案：

一、C++11及以后的传统实现 #

利用std::void_t（C++17引入，低版本可自行模拟）构造检测模板：

#include <type_traits>

// 基础模板：默认判定为不存在目标类型
template<typename T, typename = void>
struct has_TypeDeclaredInT : std::false_type {};

// 特化模板：当T::TypeDeclaredInT是合法类型时，匹配此模板，判定为存在
template<typename T>
struct has_TypeDeclaredInT<T, std::void_t<typename T::TypeDeclaredInT>> : std::true_type {};

适配你的模板函数 #

注意必须使用if constexpr（C++17+）进行编译时分枝，否则即使条件为假，编译器仍会尝试解析不存在类型的分支，导致编译错误：

template<typename T>
void doSomething(T *arg) {
    if constexpr(has_TypeDeclaredInT<T>::value) {
        // 依赖模板成员函数调用需加template关键字
        arg->template doSomethingElse<typename T::TypeDeclaredInT>(arg);
    }
}

二、C++20的Concepts简化实现 #

C++20引入的Concepts可以更直观地编写类型约束：

#include <concepts>

// 定义Concept：检查T是否包含TypeDeclaredInT类型别名
template<typename T>
concept has_TypeDeclaredInT = requires { typename T::TypeDeclaredInT; };

template<typename T>
void doSomething(T *arg) {
    if constexpr(has_TypeDeclaredInT<T>) {
        arg->template doSomethingElse<typename T::TypeDeclaredInT>(arg);
    }
}

三、C++03兼容方案 #

如果需要兼容C++03（无std::void_t），可以用辅助模板模拟：

#include <type_traits>

template<typename T>
struct void_helper { typedef void type; };

template<typename T, typename = void>
struct has_TypeDeclaredInT : std::false_type {};

template<typename T>
struct has_TypeDeclaredInT<T, typename void_helper<typename T::TypeDeclaredInT>::type> : std::true_type {};

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