C++：如何用别名简化哈希可检测代码中的重复decltype表达式

这个方案完全可行，而且是C++中简化冗余类型表达式的常规操作，不会破坏原有检测逻辑，还能提升代码可读性和维护性。

冗余代码示例（优化前） #

假设你原本的检测代码是类似这样的，其中重复的decltype(std::declval<std::hash<T>>()(std::declval<T>()))会导致冗余：

#include <functional>
#include <type_traits>

template<typename T>
struct is_hashable {
private:
    static auto test(int) -> decltype(
        // 重复编写的冗长表达式
        std::declval<std::hash<T>>()(std::declval<T>()),
        std::is_convertible_v<decltype(std::declval<std::hash<T>>()(std::declval<T>())), size_t>,
        std::true_type{}
    );
    static auto test(...) -> std::false_type;
public:
    static constexpr bool value = decltype(test(0))::value;
};

优化后的代码（使用RT别名） #

将重复的decltype表达式定义为RT类型别名后，代码变得简洁且逻辑清晰：

#include <functional>
#include <type_traits>

template<typename T>
struct is_hashable {
private:
    // 定义RT别名，复用重复的类型推导表达式
    using RT = decltype(std::declval<std::hash<T>>()(std::declval<T>()));
    
    static auto test(int) -> decltype(
        std::declval<RT>(), // 验证operator()可调用（表达式合法）
        std::is_convertible_v<RT, size_t>, // 验证返回值可转为size_t
        std::true_type{}
    );
    static auto test(...) -> std::false_type;
public:
    static constexpr bool value = decltype(test(0))::value;
};

优化的优势 #

• 消除了重复代码，避免因手误写错表达式的风险
• RT的含义直观，一眼就能看出它代表std::hash<T>调用后的返回类型
• 完全保留原有检测逻辑：既验证std::hash<T>对T类型的调用合法性，又检查返回值到size_t的可转换性

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