小编sup*_*nun的帖子

我知道专门std::hash针对将军std::tuple是未定义的行为。

但是，如果专门std::hash针对特定的元组呢？

例如，

namespace std {\n  template<>\n  struct hash<std::tuple<MyType, float>> {\n    size_t operator()(const std::tuple<MyType, float>& t) const {\n        // ...\n    } \n  };\n}\n\n

或者甚至std::tuple<Ts ...>使用某种required is_all_same_as_v<Ts\xe2\x80\xa6, MyType>C++20 约束来确保元组中的所有类型都完全相同MyType。

例如，这个

namespace std {\n  template<typename... Ts>\n    requires (sizeof...(Ts) > 0 && is_all_same_as_v<Ts..., MyType>)\n  struct hash<std::tuple<Ts...>> {\n    size_t operator()(const std::tuple<Ts...>& t) const {\n        // ...\n    } \n  };\n}\n\n

这仍然被认为是未定义的行为吗？如果是这样，为什么？

编辑：确保检查参数包的大小至少为 1，以避免专门化，std::hash<std::tuple<>> …

几乎只是标题.这个下划线是什么意思？这有什么不同于:

parameter FOO = 20'h00020;

我不知道该找什么来寻找这个问题的答案,因为我不知道这种语法是什么.

以下两个关于模拟的例子有什么区别？

一个)

reg a;
initial a = 1'b0;

和

B)

reg a = 1'b0;

逻辑变量是不同的？

考虑这三个类：

struct Foo
{
    // causes default ctor to be deleted
    constexpr explicit Foo(int i) noexcept : _i(i) {} 
private:
    int _i;
};

// same as Foo but default ctor is brought back and explicitly defaulted
struct Bar
{
    constexpr Bar() noexcept = default;
    constexpr explicit Bar(int i) noexcept : _i(i) {}

private:
    int _i;
};

// same as Bar but member variable uses brace-or-equals initializer (braces in this case)
struct Baz
{
    constexpr Baz() noexcept = default;
    constexpr explicit …