如何使用enable_if检测原子类型 区分其与普通类类型

可以通过自定义类型萃取结合std::enable_if实现原子类型检测，也可以将原子类型和普通类类型明确区分。std::atomic本身是模板类，默认std::is_class对其返回true，这就是你当前将原子类型识别为普通类的原因，通过优先做原子类型的特化判断即可解决该问题。

实现步骤 #

1. 定义原子类型判断的类型萃取 #

#include <type_traits>
#include <atomic>

// 主模板：默认所有类型都不是原子类型
template<typename T>
struct is_atomic : std::false_type {};

// 特化版本：匹配所有std::atomic的实例化类型，判定为原子类型
template<typename T>
struct is_atomic<std::atomic<T>> : std::true_type {};

// C++17及以上可使用辅助变量模板简化调用
template<typename T>
inline constexpr bool is_atomic_v = is_atomic<T>::value;

2. 结合enable_if实现分支逻辑 #

你可以根据该萃取结果，用std::enable_if对不同类型的函数做重载区分：

// 仅对原子类型生效的重载
template<typename T, typename = std::enable_if_t<is_atomic_v<T>>>
void handle_val(T& atomic_obj) {
    // 原子类型专属逻辑，例如调用load、store等原子操作
}

// 仅对非原子的普通类生效的重载
template<typename T, typename = std::enable_if_t<!is_atomic_v<T> && std::is_class_v<T>>>
void handle_val(T& common_class_obj) {
    // 普通类专属逻辑
}

注意事项 #

• 如果你使用的是自定义实现的原子类型而非标准库的std::atomic，只需新增对应的特化规则即可，示例如下：

  // 假设自定义原子类为MyAtomic<T>
  template<typename T>
  struct is_atomic<MyAtomic<T>> : std::true_type {};
  

• 如果你使用C++20及以上版本，可直接用requires约束替代enable_if，语法更简洁。

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