利用SFINAE测试指针类型能否通过static_cast转换为另一指针类型

背景：我正在实现一个可移动的QScopedPointer变体，本质是带有额外访问器的std::unique_pointer；最初开发时无C++11兼容编译器，如今希望完善该实现。

我的问题：

• 我需要为自定义智能指针MyUniquePointer判断类型U*能否通过static_cast转换为T*，以实现指定的移动构造函数，但直接在enable_if中结合static_cast与std::declval的方案不可行，请问是否有模板元编程技巧可实现该检测？
• 此外，我参考cppreference及相关回答尝试实现了is_safely_castable模板模拟合法且安全的static_cast场景，该模板是否准确？如何优化？

嘿，针对你的自定义智能指针相关问题，我来详细拆解解答：

一、检测U*到T*合法static_cast的模板元技巧 #

直接在enable_if里用static_cast结合std::declval会踩坑——因为如果转换不合法，static_cast会直接触发编译错误，而不是触发SFINAE（替换失败不是错误）。我们需要用SFINAE友好的方式来做检测，核心思路是利用函数重载的解析规则：

#include <type_traits>

template<typename T, typename U>
struct is_static_castable_pointer {
private:
    // 当U*可以static_cast到T*时，这个重载会被优先选中，返回std::true_type
    static std::true_type test(T*);
    // 转换不合法时，匹配这个兜底重载，返回std::false_type
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test(std::declval<U*>()))::value;
};

// C++14及以上可用的变量模板，简化使用
template<typename T, typename U>
constexpr bool is_static_castable_pointer_v = is_static_castable_pointer<T, U>::value;

这个方案的原理是：如果U*能通过static_cast（包括隐式转换的合法场景，比如向上转型）转为T*，那么调用test(std::declval<U*>())会匹配到第一个重载；如果转换语法不合法，就会匹配可变参数的兜底重载，最终返回false。

你可以直接在移动构造函数里这样用：

template<typename U, typename = std::enable_if_t<is_static_castable_pointer_v<T, U>>>
MyUniquePointer(MyUniquePointer<U>&& other) noexcept
    : ptr_(static_cast<T*>(other.release()))
{}

二、评估与优化is_safely_castable模板 #

首先假设你实现的is_safely_castable是这类常见版本：

template<typename From, typename To>
struct is_safely_castable {
private:
    template<typename F, typename T>
    static auto test(int) -> decltype(static_cast<T>(std::declval<F>()), std::true_type{});
    template<typename, typename>
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test<From, To>(0))::value;
};

准确性分析

这个模板能准确检测表达式static_cast<To>(std::declval<From>())的语法合法性，但要明确它的“安全”边界：

• 对于向上转型（派生类→基类指针）：合法且运行时安全，模板能正确识别。
• 对于向下转型（基类→派生类指针）：static_cast语法合法，但只有当基类指针实际指向派生类对象时才安全——模板只能检测静态语法合法性，无法覆盖运行时安全，这是静态检测的天然局限，也是static_cast本身的特性。
• 对于void*与其他指针的互转：模板能正确识别合法场景。
• 对于无关类型指针（比如int*→std::string*）：static_cast本身语法不合法，模板返回false，符合预期。

如果你的“安全”指的是语法上合法的static_cast，那么这个模板是准确的；如果包含运行时安全，那模板做不到，只能靠编码规范或额外的运行时检查。

优化方向

1. 针对指针类型做特化：如果你的模板主要用于指针场景，可以复用前面的is_static_castable_pointer逻辑，减少编译开销：

// 指针类型的特化版本
template<typename T, typename U>
struct is_safely_castable<T*, U*> : is_static_castable_pointer<T, U> {};

2. 简化使用体验：C++17及以上可以添加内联变量模板，让使用更简洁：

template<typename From, typename To>
inline constexpr bool is_safely_castable_v = is_safely_castable<From, To>::value;

3. 处理cv限定符：如果需要忽略const/volatile的差异，可以在检测前移除cv限定：

template<typename From, typename To>
struct is_safely_castable {
private:
    using FromNoCV = std::remove_cv_t<From>;
    using ToNoCV = std::remove_cv_t<To>;
    template<typename F, typename T>
    static auto test(int) -> decltype(static_cast<T>(std::declval<F>()), std::true_type{});
    template<typename, typename>
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test<FromNoCV, ToNoCV>(0))::value;
};

（这个优化按需使用，如果需要严格区分cv限定就不需要）

4. 排除隐式转换干扰：如果只想检测显式static_cast的合法性（排除隐式转换场景），可以用一个禁止隐式转换的包装器：

template<typename T>
struct NoImplicit {
    explicit NoImplicit(T) {}
};

template<typename From, typename To>
struct is_explicit_static_castable {
private:
    template<typename F, typename T>
    static auto test(int) -> decltype(static_cast<T>(NoImplicit<F>{std::declval<F>()}), std::true_type{});
    template<typename, typename>
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test<From, To>(0))::value;
};

（这个场景比较小众，按需选择）

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