Visual Studio中宏定义内static_assert不符合预期触发编译错误问题

不是Visual Studio的bug，是代码本身的类型推导逻辑不符合预期：
你通过lambda引用捕获ptr后，lambda作用域内的ptr是左值引用类型，decltype(ptr)推导结果为std::shared_ptr<Node>&，带引用修饰符，和std::shared_ptr<Node>不匹配，所以所有static_assert都会触发。
Visual Studio的活动错误（IntelliSense 静态检查）和实际编译结果不一致，是因为IntelliSense的类型推导规则没有完全对齐编译器的标准实现，只有明显类型不匹配的用例才会被标红。

快速修改现有宏 #

只需在decltype外层套上std::decay_t，消除引用、cv限定符的影响即可：

#define cast_to_A(ptr) ([&] () { \
    static_assert( \
        std::is_same<std::shared_ptr<Node>, std::decay_t<decltype(ptr)>>::value, \
        "Cannot cast to an A pointer." \
    ); \
    return std::static_pointer_cast<A>(ptr); \
})()

修改后完全符合你的预期：类型匹配的cast_to_A(aAsNode)、cast_to_B(bAsNode)编译通过，类型不匹配的cast_to_A(b)触发编译错误。

更优雅的替代方案（无需生成宏） #

可以直接用通用模板实现，不需要为每个子结构体单独生成宏：

#include <type_traits>
#include <memory>

struct Node {};

template<typename TargetT, typename SourceT>
std::shared_ptr<TargetT> node_cast(std::shared_ptr<SourceT> source)
{
    static_assert(std::is_same_v<SourceT, Node>, "仅允许从std::shared_ptr<Node>转换");
    static_assert(std::is_base_of_v<Node, TargetT>, "目标类型必须继承自Node");
    return std::static_pointer_cast<TargetT>(source);
}

// 使用示例
int main() {
    struct A : Node {};
    struct B : Node {};
    auto a = std::make_shared<A>();
    auto aAsNode = std::static_pointer_cast<Node>(a);
    auto a1 = node_cast<A>(aAsNode); // 编译通过
    auto badCast = node_cast<A>(std::make_shared<B>()); // 编译错误，触发第一个static_assert
    return 0;
}

该方案的编译错误会直接定位到调用node_cast的代码行，不会跳转到标准库内部，满足你快速定位错误的需求。

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