您可以专门化'std”命名空间中的每个模板吗？ 显式专业化的限制和允许

std 命名空间中的显式专业化：限制和允许

虽然用户被授予将显式专业化附加到 std 命名空间的能力，但某些模板被明确禁止进行这种做法。

禁止的专业化

根据标准，以下模板不能专业化：

• numeric_limits对于复杂
• shared_ptr等非算术标准类型，除非它们满足可复制性、可分配性和可比较性的特定标准
• weak_ptr，除非它们是可复制和可分配的
• std::hash，除非专业化遵守其模板要求
• 中定义的类模板（common_type 除外）
• 语言环境，需要特定的专业化
• istreambuf_iterator，它必须有一个简单的复制构造函数、默认构造函数和析构函数
• 复杂的除 float 之外的类型， double 或 long double
• 原子，除非特化遵循特定约束，例如删除了复制构造函数和值构造函数
• unary_function 和 binary_function，它们已弃用且无法特化

总体注意事项

除了这些特定的禁令之外，该标准还提供了添加到 std 命名空间的一般准则：

• std 的声明或定义除非明确指定，否则不应添加其子命名空间。
• 仅当模板专业化依赖于用户定义的类型并满足库要求时才允许。
• 标准库的成员函数专业化禁止类、成员函数模板和成员类模板。
• 仅当依赖于用户定义类型并满足库要求时，才允许显式模板实例化。

通过遵守针对这些限制，开发人员可以确保他们的专业化不会与 std 命名空间中标准库的完整性和可操作性发生冲突。

以上是您可以专门化'std”命名空间中的每个模板吗？ 显式专业化的限制和允许的详细内容。更多信息请关注PHP中文网其他相关文章！