C++怎么判断一个类是否有某个成员函数-C++-PHP中文网

std::is_detected用于检测成员函数是否存在，需用decltype+std::declval构造表达式，注意const语境、重载覆盖及编译器c++17支持要求。

c++怎么判断一个类是否有某个成员函数

用 `std::is_detected` 检测成员函数是否存在

标准库从 C++17 开始通过 std::experimental::is_detected（后被纳入 TS，C++20 起推荐用 std::is_detected 配合自定义探测别名）提供类型特征检测能力。它比手写 SFINAE 更清晰、复用性更强。

核心思路是：定义一个探测别名，尝试对 T 类型调用目标成员函数（带参数），若调用合法则 std::is_detected_v 为 true；否则因 SFINAE 失败而退为 false。

示例：检测 T::size() 是否存在且可无参调用：

template<typename t>
using has_size_member_t = decltype(std::declval<t>().size());

static_assert(std::is_detected_v<has_size_member_t std::vector>>); // true
static_assert(!std::is_detected_v<has_size_member_t int>); // true → int 没有 size()
</has_size_member_t></has_size_member_t></t></typename>

必须用 decltype + std::declval 构造表达式，不能直接写 T{}.size()（可能触发构造/析构副作用或不满足要求）
若成员函数是 const 限定的（如 size() const），std::declval<t>()</t> 返回的是非常量右值，需改用 std::declval<const t>()</const> 或加 const 限定探测别名
若要检测带参数的函数（如 find(const K&)），在 decltype 中补全实参类型，例如：decltype(std::declval<t>().find(std::declval<const k>()))</const></t>

处理重载和 const 成员函数时的常见误判

直接用 std::is_detected 检测 T::foo() 可能漏掉 const 重载，或把非 const 版本误判为不存在（当对象是 const 时）。这不是 bug，而是“调用语境未指定”导致的自然结果。

你需要明确检测目标语境：

想确认“任意语境下都能调用 foo()” → 用 std::declval<t>()</t>（非常量）
想确认“const 对象能调用 foo()” → 改用 std::declval<const t>()</const>
想覆盖所有重载（包括 const/non-const）→ 得分别探测，或改用更底层的 void_t + 多个表达式组合（不推荐，复杂度陡增）

例如，std::string 的 c_str() 是 const 成员函数，以下会失败：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

using has_c_str_t = decltype(std::declval<:string>().c_str()); // ❌ 编译失败：非常量对象不能调用 const 成员
</:string>

正确写法：

using has_c_str_t = decltype(std::declval<const std::string>().c_str()); // ✅
</const>

Clang/GCC/MSVC 在 C++17 下的兼容性差异

不是所有编译器默认启用 std::is_detected。GCC 8+、Clang 7+、MSVC 19.20+ 均支持，但需确保：

开启 C++17 标准（-std=c++17 或项目设置中指定）
包含头文件：<type_traits></type_traits>（C++20）或 <experimental></experimental>（C++17 TS，GCC/Clang 早期版本）
MSVC 19.20+ 可直接用 <type_traits></type_traits>；旧版需定义 _HAS_EXPERIMENTAL_TYPE_TRAITS=1 并包含 <experimental></experimental>

若环境受限（如必须支持 C++14），可用等效的 void_t 手写探测：

template<typename...> using void_t = void;
template<typename t typename="void"> struct has_begin : std::false_type {};
template<typename t> struct has_begin<t void_t>().begin())>> : std::true_type {};
</t></typename></typename></typename...>

注意返回类型推导与 noexcept 的干扰

探测表达式中，只要语法合法即可，不检查返回值是否可赋值、是否 noexcept、是否隐式转换。但若成员函数返回的是不完整类型（如前置声明类），或依赖 ADL 的返回类型（如 operator+），decltype 可能失败，此时探测结果为 false —— 这属于预期行为，不是缺陷。

真正容易被忽略的是：成员函数模板（如 template<typename u> void bar(U)</typename>）无法被上述方式直接探测，因为 std::declval<t>().bar</t> 不构成可求值表达式（缺少模板实参）。这种场景需改用更复杂的探测（例如绑定具体类型再试），或者接受“仅检测非模板重载”这一限制。

实际工程中，多数元编程需求只关心“是否存在可调用接口”，而非“是否是模板”。把边界情况写进注释，比强行覆盖所有分支更可靠。