std::is_const等工具与std::reference_wrapper等值包装器的const性处理问题

问题背景 #

这是一个偏学术性的场景（暂未发现实际生产应用），但这类逻辑困扰了我很久：

假设有如下模板函数，需要根据传入参数的const性执行不同逻辑：

template< typename T > void print_constness(T&& t) {
    if constexpr (std::is_const_v< decltype(t) >) {
        std::cout << "T is const\n";
    } else {
        std::cout << "T is NOT const\n";
    }
}

传入普通引用或const引用时，函数能正确识别参数的const性（前提是避免参数被拷贝，比如目标类型删除拷贝构造函数）。

但从语义上讲，std::reference_wrapper<const T>应该等价于const T&，但实际用标准库的std::is_const检测时，结果却不一致——因为包装器本身并不是const类型，可它实际持有const语义的引用。比如当模板函数需要匹配const/非const重载时，传入std::reference_wrapper<const T>会被匹配到非const重载，后续访问引用时编译器会报错。

（注：本文刻意排除了直接按参数const性重载的实现方式，上述示例仅用于说明问题）

核心问题 #

• 当标准库的std::is_const、std::add_const、std::remove_const无法正确识别std::reference_wrapper等值包装器的实际const语义时，该如何检测并修改这类包装器的逻辑const性？
• 是否存在标准/通用的解决方案？
• 如果需要自定义类型特性，能否通过特化标准库的类型特性来实现符合语义预期的结果？

解决方案 #

1. 标准库的限制：禁止特化标准库类型特性 #

C++标准明确规定：用户不能特化标准库中定义的类型特性（除非针对用户自定义的类型）。std::reference_wrapper属于标准库类型，因此我们无法通过特化std::is_const等特性来改变它的检测结果，强行特化会导致未定义行为。

2. 自定义语义化的类型特性 #

我们可以实现一套自己的类型特性，针对std::reference_wrapper等包装器做特殊处理，提取其内部持有的值的const性：

示例：自定义is_const_like

#include <type_traits>
#include <functional>

namespace custom_traits {
    // 基础模板：直接复用标准库特性
    template<typename T>
    struct is_const_like : std::is_const<T> {};

    // 针对std::reference_wrapper的特化
    template<typename T>
    struct is_const_like<std::reference_wrapper<T>> : is_const_like<T> {};

    // 针对右值引用的处理
    template<typename T>
    struct is_const_like<T&&> : is_const_like<T> {};

    // 便捷变量模板
    template<typename T>
    inline constexpr bool is_const_like_v = is_const_like<T>::value;
}

示例：自定义add_const_like和remove_const_like

namespace custom_traits {
    // add_const_like：给包装器内部的值添加const
    template<typename T>
    struct add_const_like {
        using type = const T;
    };

    template<typename T>
    struct add_const_like<std::reference_wrapper<T>> {
        using type = std::reference_wrapper<const std::remove_reference_t<T>>;
    };

    // remove_const_like：移除包装器内部的值的const
    template<typename T>
    struct remove_const_like {
        using type = std::remove_const_t<T>;
    };

    template<typename T>
    struct remove_const_like<std::reference_wrapper<const T>> {
        using type = std::reference_wrapper<std::remove_const_t<T>>;
    };

    // 便捷别名模板
    template<typename T>
    using add_const_like_t = typename add_const_like<T>::type;

    template<typename T>
    using remove_const_like_t = typename remove_const_like<T>::type;
}

3. 通用扩展思路 #

如果需要支持更多类似的包装器（比如std::optional、std::shared_ptr等带语义的容器/包装器），可以在自定义特性中添加更多特化，核心逻辑是提取包装器内部实际持有的值类型，然后针对该值类型应用const性操作。

比如针对std::optional的特化：

namespace custom_traits {
    template<typename T>
    struct is_const_like<std::optional<T>> : is_const_like<T> {};
}

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