- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我已经定义了这个模板类结构:
template<typename T> struct Outer {
struct Inner { /* ...some stuff... */ };
};
我想把Inner
对象变成 unordered_map
(实际上,不是直接指定它们,而是它们的容器,因此直接在 unordered_map
的模板参数上指定散列对象的方法不是一个好主意),因此我想专门化 hash
这些项目的类。
这行不通,因为编译器无法匹配Outer<T>::Inner
使用实例化时指定的类型 hash
:
namespace std {
template<typename T> struct hash<typename Outer<T>::Inner > {
size_t operator ()( typename Outer<T>::Inner const & obj )
{ /* ...some stuff... */ }
};
};
有人知道解决这个问题的方法吗?
最佳答案
你显然是对的,这行不通,因为编译器无法匹配基于此类依赖类型的模板特化(例如,Inner 可能是嵌套的 typedef,那么编译器将如何分辨差异在来自 Outer 中的嵌套 typedef 的类型与来自其他地方的类型之间?它不能,这是不可能分辨的)。
有很多解决方案。
首先,您可以将内部类移到外部类的外部(如果需要,让它们成为 friend )。您还可以将其移至“详细信息”命名空间或根据您的上下文以多种其他方式隐藏它。人们避免此类嵌套的“内部”类的情况并不少见,因为它们可能会导致许多此类问题,并且一些较旧的编译器甚至根本无法接受此类嵌套类。将那些嵌套类移出外部类通常是更好的做法。就实际代码而言,您可以这样做:
template <typename T>
struct Outer; // forward-decl.
namespace detail {
template <typename T>
struct Outer_Inner {
friend class Outer<T>; // Optional
// ....
};
};
template <typename T>
struct Outer {
typedef detail::Outer_Inner<T> Inner;
friend class detail::Outer_Inner<T>; // Optional
// ...
};
namespace std {
template<typename T>
struct hash< detail::Outer_Inner<T> > {
// ..
};
};
另一种解决方案是定义您自己的哈希类,您可以将其提供给 unordered_set
.像这样:
template <typename T>
struct Outer {
struct Inner {
//..
};
struct InnerHash {
typedef Inner argument_type;
typedef std::size_t result_type;
result_type operator()(argument_type const& s) const {
return /* some hashing code */;
};
};
// ...
// An example unordered-set member:
std::unordered_set<Inner, InnerHash> m_set;
};
最后,还有一个我能想到的解决方案,就像第一个解决方案一样,具有专门化 std::hash
的优势。类模板。然而,这个解决方案有点复杂,它涉及将您的内部类包装到外部类模板中,如下所示:
template <typename T>
struct InnerWrapper {
typedef typename Outer<T>::Inner value_type;
value_type data;
};
然后创建特化 std::hash< InnerWrapper<T> >
.该解决方案实际上仅具有不干扰外部类的现有实现的优势,但会创建一个unordered_map
。在这种情况下意味着 map 必须包含(直接或间接) InnerWrapper 对象而不是直接存储 Inner 对象。此外,您应该注意到,通过在嵌套类中实现与 Outer 更紧密集成的 Inner 的一些功能,并在外部实现更“公共(public)”的 Inner 功能,您应该注意到该解决方案可以与第一个解决方案混合使用类,从而避免友元关系并允许更紧密的外部-内部集成,同时留下一个干净的面向用户的类来访问内部的功能。
关于c++ - 为依赖类型特化 std::hash<T>,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/25242556/
我对这个错误很困惑: Cannot implicitly convert type 'System.Func [c:\Program Files (x86)\Reference Assemblies\
考虑这段代码: pub trait Hello { fn hello(&self); } impl Hello for Any { fn hello(&self) {
问题很简单。是否可以构造这样一个类型 T,对于它下面的两个变量声明会产生不同的结果? T t1 = {}; T t2{}; 我已经研究 cppreference 和标准一个多小时了,我了解以下内容:
Intellij idea 给我这个错误:“Compare (T, T) in Comparator cannot be applied to (T, T)” 对于以下代码: public class
任何人都可以告诉我 : n\t\t\t\t\n\t\t\t 在以下来自和 dwr 服务的响应中的含义和用途是什么. \r\n\t\t\t \r\n\t\t\t
让 T 成为一个 C++ 类。 下面三个指令在行为上有什么区别吗? T a; T a(); T a = T(); T 为不带参数的构造函数提供了显式定义这一事实是否对问题有任何改变? 后续问题:如果
Rust中的智能指针是什么 智能指针(smart pointers)是一类数据结构,是拥有数据所有权和额外功能的指针。是指针的进一步发展 指针(pointer)是一个包含内存地
比如我有一个 vector vector > v={{true,1},{true,2},{false,3},{false,4},{false,5},{true,6},{false,7},{true,8
我有一个来自 .xls 电子表格的数据框,我打印了 print(df.columns.values) 列,输出包含一个名为:Poll Responses\n\t\t\t\t\t。 我查看了 Excel
This question already has answers here: What are good reasons for choosing invariance in an API like
指针类型作为类型前缀与在类型前加斜杠作为后缀有什么区别。斜线到底是什么意思? 最佳答案 语法 T/~ 和 T/& 基本上已被弃用(我什至不确定编译器是否仍然接受它)。在向新向量方案过渡的初始阶段,[T
我正在尝试找到一种方法来获取模板参数的基类。 考虑以下类: template class Foo { public: Foo(){}; ~Foo(){};
这是一个让我感到困惑的小问题。我不知道如何描述它,所以只看下面的代码: struct B { B() {} B(B&) { std::cout ::value #include
为什么有 T::T(T&) 而 T::T(const T&) 更适合 copy ? (大概是用来实现move语义的???) 原始描述(被melpomene证明是错误的): 在C++11中,支持了一种新
在 Java 7 中使用 eclipse 4.2 并尝试实现 List 接口(interface)的以下方法时,我收到了警告。 public T[] toArray(T[] a) { ret
假设有三个函数: def foo[T](a:T, b:T): T = a def test1 = foo(1, "2") def test2 = foo(List(), ListBuffer()) 虽
我对柯里化(Currying)和非柯里化(Currying)泛型函数之间类型检查的差异有点困惑: scala> def x[T](a: T, b: T) = (a == b) x: [T](a: T,
考虑一个类A,我如何编写一个具有与相同行为的模板 A& pretty(A& x) { /* make x pretty */ return x; } A pretty(A&& x) {
Eclipse 表示由于泛型类型橡皮擦,类型参数不允许使用 instanceof 操作。 我同意在运行时不会保留任何类型信息。但是请考虑以下类的通用声明: class SomeClass{ T
在 C++14 中: 对于任何整数或枚举类型 T 以及对于任何表达式 expr: 有没有区别: struct S { T t { expr }; }; 和 struct S { T t = { exp
我是一名优秀的程序员,十分优秀!