c++ - 何时包含内置类型和运算符的标头？

Question

什么时候应该包含内置类型的标头？

• <new>for new（似乎对于复杂的重载确实需要它）；它可以被使用。
• （编辑：错误的例子（见答案））<typeinfo>对于std::type_info；它可以通过使用typeid运算符来获取
• （编辑：错误的例子（见答案））<initializer_list>对于std::initizlizer_list；这只是auto l = {1, 2, 3};或暂时的结果for (int i : {1, 2, 3}) {}
• <cstddef>///对于; <cstdio>_ <cstring>_ 它可以作为运算符的结果给出或<ctime>std::size_tsizeof valsizeof(Type)
• <cstddef>对于std::nullptr_t;decltype(nullptr)
• <cstddef>对于std::ptrdiff_t;decltype(std::declval<int *>() - std::declval<int *>())
• <tuple>对于结构化绑定的某些功能
• 也许其他人

是否存在强制包含相应标题的情况？

标签： c++language-lawyernew-operatorinitializer-listtypeinfo

Answer 1

严格来说，并非所有示例的行为都符合您的预期。例如

[expr.typeid]

6<typeinfo>如果在使用 之前没有包含 标题typeid，则程序格式错误。

[dcl.init.list]

2 ...模板std​::​initializer_­list未预定义；<initializer_­list>如果在使用之前没有包含 头文件std​::​initializer_­list——即使是没有命名类型的隐式使用——程序是非良构的。

所以有两个例子。当然，您可以在不包含某些标题的情况下通过，例如

using size_t    = decltype(sizeof(0));
using nullptr_t = decltype(nullptr);

但总的来说，完全确定我们得到定义良好的结果的方法是为标准类型包含正确的标头。