在C++17中为自定义Pixels模板类重载std::floor是否安全？

问题背景 #

重要提示：本问题针对C++17版本，此时std::floor尚未成为模板。

假设存在用户自定义模板类：

template<class Unit>
class Pixels {};

是否可以安全地为该模板类重载std::floor？例如在std命名空间中添加如下重载：

namespace std {
  template<class Unit>
  auto floor(const Pixels<Unit>&) -> Pixels<Unit>;
}

已知扩展std命名空间通常被禁止，但这样做可让其他代码像处理标准float/double一样处理Pixels，例如：

template<typename Unit>
class Point {
public:
  Unit x;
  Unit y;
  auto floor() -> Point<Unit> {
    return { std::floor(x), std::floor(y) };
  }
};

Point<float>().floor();
Point<Pixels<float>>().floor();

请问此类场景是否存在允许扩展std命名空间的例外情况？注：此前标记的重复问题不相关，本次是新增重载而非修改现有函数行为。

回答 #

C++标准确实严格限制对std命名空间的直接扩展，但存在明确的例外规则：当为用户自定义类型重载标准库中的函数（包括非模板函数），且重载仅作用于该自定义类型时，这种扩展是被允许的。

针对你的场景：

• 你新增的std::floor重载仅针对自定义的Pixels<Unit>类型，完全不会修改或干扰原有std::floor对float/double等内置类型的处理逻辑，完全符合标准的例外要求。
• 这种重载的核心目的就是让自定义类型能适配标准库的函数调用模式，和你示例中Point类的通用代码需求完全匹配，是合法且安全的。

需要注意两个细节：

• 由于C20及之后版本中std::floor改为了模板，如果你后续要升级编译器版本，需要确保你的重载签名不会和标准模板产生冲突，但在C17环境下无需担心这个问题。
• 你的重载函数必须遵循std::floor的语义约定：返回不大于输入值的最大整数值对应的Pixels对象，这样才能保证和标准函数的行为一致，避免代码逻辑混淆。

内容的提问来源于stack exchange，提问作者hopeless-programmer