在 C++ 中为用户定义的类型专门化 std::minus 是否合法？

Question

标准库是否允许用户将函数对象（如 std::plus 和 std::minus）专门用于自定义类型？

如果我的第一个问题的答案是肯定的，是否允许用户更改呼叫运营商的声明？例如，由于 C++14 std::minus::operator() 声明如下：

constexpr T operator()( const T& lhs, const T& rhs ) const;

更改此运算符使其不再是 constexpr 或返回 double 而不是 T 是否合法？

namespace std
{
    template <> 
    struct minus<MyArrayType>
    {
        double operator ()(const MyArrayType& x, const MyArrayType& y) const
        {
            return l2_norm(x - y);
        }
    };
}   // std

Answer 1

extending namespace std 的规则说：

只有当声明依赖于至少一种程序定义的类型并且特化满足原始模板的所有要求时，才允许将任何标准库类模板的模板特化添加到命名空间std ，除非此类专业化被禁止。

（强调我的）

因此，在您的情况下，为程序定义类型 MyArrayType 添加特化会起作用。

但是，operator() 成员的返回类型必须为MyArrayType，而不是double。此外，成员operator()必须为constexpr。

违反其中任何一个都意味着专业化不满足主模板的要求。