std::size与std::empty特化匹配失败及constexpr相关技术问询

问题1：为什么std::size和std::empty被定义为constexpr？ #

这是个很容易误解的点——constexpr函数的核心是「允许编译期调用」，而非「强制必须编译期调用」。

具体来说：

• 对于std::array、栈上数组这类编译期就能确定大小/空状态的类型，std::size和std::empty可以在编译期返回结果，这能帮我们写出更高效的编译期逻辑（比如用结果作为模板参数）。
• 对于std::vector、std::map这类动态容器，它们的size()/empty()成员函数在C17及以后被标记为constexpr（C20进一步扩展了对动态容器的constexpr支持），所以作为包装函数的std::size/std::empty自然也能标记为constexpr。当你传入这类容器时，函数会在运行期执行，这完全符合constexpr的规则——它只是给了函数编译期计算的能力，不是要求所有调用都必须在编译期完成。

简单总结：constexpr是给函数开了「编译期计算」的绿灯，而非把函数锁死在编译期。

问题2：自定义容器特化std::size/std::empty失败的原因 #

你的代码问题出在错误地尝试特化标准库的函数模板，没有理解std::size/std::empty的设计逻辑。

为什么特化失败？ #

标准库中的std::empty主模板（简化版）是这样的：

template <class Cont>
constexpr auto empty(const Cont& c) -> decltype(c.empty()) {
    return c.empty();
}

这个模板要求传入的Cont类型必须有empty()成员函数，而你的dummy::Widget只有IsEmpty()，没有empty()，所以这个主模板根本无法匹配你的类型——特化的前提是主模板能接受你的模板参数，否则编译器会认为你在尝试特化一个不存在的模板。

正确的做法：用ADL（参数依赖查找）提供重载 #

标准库设计std::size/std::empty时，会优先通过ADL查找用户自定义类型所在命名空间中的size/empty重载，再回退到标准库的实现。所以你不需要去std命名空间里特化，直接在dummy命名空间中提供对应的重载即可：

#include <iterator>
#include <vector>

namespace dummy {
struct Widget {
    bool IsEmpty() const noexcept { return m_v.empty(); }
    size_t GetSize() const noexcept { return m_v.size(); }
    std::vector< int > m_v;
};

// 在自定义类型的命名空间中提供size和empty的重载
constexpr bool empty(const Widget& widget) noexcept {
    return widget.IsEmpty();
}

constexpr size_t size(const Widget& widget) noexcept {
    return widget.GetSize();
}
}

int main() {
    dummy::Widget w;
    std::size(w); // ADL会自动找到dummy::size
    std::empty(w); // ADL会自动找到dummy::empty

    std::vector<int> ints;
    std::size(ints); // 正常使用标准库版本
}

这种方式不仅符合C++标准规范（避免不必要地修改std命名空间），而且逻辑更清晰，编译器也能正确推导调用。

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