模板函数中针对不完全类型指针的static_assert为何可正常编译？

问题场景 #

在将模板函数中的static_assert替换为requires语句时，发现原函数在传入不完全类型时居然能编译通过，而requires版本则直接非法。简化代码如下：

#include <type_traits>

struct Bar {};

template<typename T>
inline Bar* AsBar(T* ptr)
{
    static_assert(std::is_convertible_v<T*, Bar*>);
    return (Bar*)ptr;
}

struct Foo;

void DoThing(Foo* f)
{
    AsBar(f);
}

struct Foo : public Bar {};

对此产生两个疑问：

1. 这种针对不完全类型的模板static_assert是否属于定义行为？还是只是侥幸未触发问题？
2. 如果是定义行为，原因是什么？对模板的理解存在哪些误区？

解答 #

1. 是否属于定义行为？ #

这不属于定义行为，属于C++标准规定的未定义行为，你们只是侥幸没有触发编译错误或运行时问题。

2. 原因与理解误区 #

你的核心误区在于对模板实例化时机和类型特性的要求理解不够精准：

• 模板遵循两阶段编译规则：第一阶段检查模板本身的语法正确性，第二阶段在实例化点进行语义检查。但std::is_convertible_v<T*, Bar*>的求值属于实例化阶段的操作，而C++标准明确要求，使用std::is_convertible这类涉及类型转换关系的特性时，参与的类型必须是完整类型——因为要判断T*能否转换为Bar*，必须知道T的完整继承结构或类型信息。
• 在你的代码中，AsBar(f)的实例化点在DoThing函数内部，此时Foo还是不完全类型（Foo的完整定义在DoThing之后）。编译器没有报错只是因为部分编译器实现未严格检查这种场景，属于未定义行为的“侥幸通过”情况。如果将Foo的完整定义移到DoThing之后，多数编译器会直接触发static_assert失败或不完全类型错误。
• 而requires语句会在模板实参推演阶段就执行检查，这个阶段必须获取类型的完整信息才能判断转换是否合法，因此面对不完全类型时直接报错，这才是符合标准要求的行为。

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