如何用SFINAE修复std::conditional处理指针Dims时的模板参数无效错误

错误原因 #

std::conditional_t的特性是无论第一个布尔判断参数的结果如何，都会对第二、第三个参数做完整的类型实例化校验。当Dims为指针类型时，第三个参数typename Dims::mapped_type属于非法语法，直接触发编译错误，和条件判断的结果无关。

SFINAE实现方案 #

最通用的方式是通过自定义类型萃取的偏特化实现，利用SFINAE特性在匹配到对应分支时才做类型校验：

#include <type_traits>
#include <map>

// 主模板声明
template <typename Dims, typename = void>
struct DimsValueType {};

// 指针类型偏特化：匹配Dims为指针的场景
template <typename Dims>
struct DimsValueType<Dims, std::enable_if_t<std::is_pointer_v<Dims>>> {
    using type = std::remove_pointer_t<Dims>;
};

// map类型偏特化：匹配Dims包含mapped_type成员的场景
template <typename Dims>
struct DimsValueType<Dims, std::void_t<typename Dims::mapped_type>> {
    using type = typename Dims::mapped_type;
};

// 便捷使用别名
template <typename Dims>
using DimsValueType_t = typename DimsValueType<Dims>::type;

如果使用C++14标准，没有内置的std::void_t，可以自行添加定义：

template <typename...> using void_t = void;

使用时直接替换原有逻辑即可：

using T = DimsValueType_t<Dims>;

如果你的编译环境支持C++17及以上标准，也可以用if constexpr实现更简洁的写法，其特性是仅实例化条件成立的分支，不会触发非法分支的语法校验：

#include <type_traits>

template <typename Dims>
constexpr auto deduce_type() noexcept {
    if constexpr (std::is_pointer_v<Dims>) {
        return std::type_identity<std::remove_pointer_t<Dims>>{};
    } else {
        return std::type_identity<typename Dims::mapped_type>{};
    }
}

using T = typename decltype(deduce_type<Dims>())::type;

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