代码之家 › 专栏 › 技术社区 › sebrockm

GCC和Clang在C++17中不编译std::hash<std::nullptr\u t>

c++17 clang hash gcc c++

sebrockm · 技术社区 · 6 年前

https://en.cppreference.com/w/cpp/utility/hash 它说自从C++17

声明模板std::hash的每个标准库头所有cv非限定算术类型(包括任何扩展整数

因此,符合C++17标准的编译器应该编译以下小程序:

#include <functional>
int main()
{
    std::hash<std::nullptr_t> h;
    return h(nullptr);
}

std::hash<std::nullptr_t> 已(隐式)删除。看见 here 和 here

Visual Studio 我会编译它。显然它回来了 ~~0~~ 672807365 .

我能自己专门做一下然后回来吗 ~~0~~ ~~如果将它与其他散列组合,其他值(例如某些素数)不是更好吗?~~

使现代化

. 事实上,它正在回归 (价值在 eax ). 不回来

1 回复 | 直到 6 年前

YSC 4 年前

这个程序正确吗?

[unord.hash]/2

哈希的每个专门化要么启用,要么禁用,如下所述。[…]声明模板哈希的每个标头都提供了 hash 对于 nullptr_Ât

自从 <functional> 搞砸 样板 ^1. std::hash<std::nullptr_t> . 您的示例程序应该被任何符合C++17标准的实现所接受

为什么不是呢?

由于C++17还很年轻,一些细微的特性可能在最近的编译器中仍然缺失或有缺陷。请放心,gcc和clang在开发过程中会接受您的MCVE/ experimental 分支机构。

但是我们找不到一个接受它的GCC开发版本;这就是为什么 已由引发错误报告 Lightness Races in Orbit (见 std::hashstd::nullptr_t Jonathan Wakely (见 revision267845 returns zero ).

我可以自己专门化它并像Visual Studio一样返回0吗?

您将编写显示未定义行为的代码 ^2. 分离翻译单位:

#include <functional>
#include <type_traits>
static_assert(
    false == std::is_default_constructible_v<std::hash<std::nullptr_t>>,
    "Explanation"
);

这将警告您的同事,并要求他们手动删除您的而不是给他们带来严重的编译错误。

看见 [functional.syn] .

only allowed 专攻 std 程序定义类型的类模板(其中 零位 不是)。您还可以打破“一个定义”规则。

推荐文章

notamaster · 匿名命名空间中的变量声明和其他位置的定义

2 年前

Roman · 级联可变模板参数

2 年前

sovesti · 参数较少的模板函数中的演绎

2 年前

Saleh · 如何实现析构函数

2 年前

Lingxi · 使用内联静态数据成员有任何潜在的陷阱吗?

6 年前

Guillaume Racicot · 所有constexpr变量是否都隐式内联?

6 年前

user5560811 · c++17如何编写is\u pointer\u pointer generic lambda?

6 年前

Quuxplusone · 销毁不可销毁的基类?

6 年前

Francis Cugler · 运行python脚本以配置windows、visual studio 2017和c++17的mpir

6 年前

Vincent · 是否可以实例化具有已删除构造函数和析构函数的非聚合类?

6 年前