Question

有关

我试图使用固定长度的数组作为std::map的键，如下面的非编译代码所示：

#include <cstdlib>
#include <iostream>
#include <map>

typedef char myuuid[ 16 ];

template <class T>
class MyAlloc
{
public:
  typedef T value_type;
  typedef T* pointer;
  typedef T& reference;
  typedef const T* const_pointer;
  typedef const T& const_reference;
  template <class U> struct rebind { typedef MyAlloc<U> other; };
  MyAlloc() {}
  MyAlloc( const MyAlloc& other ) {}
  T* allocate( std::size_t n ) { return static_cast<T*>( std::malloc( n * sizeof( value_type ) ) ); }
  void deallocate( T* p, std::size_t n ) { std::free( p ); }
};

int main( int argc, char* argv[] )
{
  std::map<myuuid, int, std::less<myuuid>, MyAlloc<myuuid> > map;
  myuuid myu;
  map[ myu ] = 5;

  return 0;
}

暂时忽略自定义分配器，如果我正确理解链接的答案，std::map<myuuid, int> map; myuuid myu; map[myu] = 5;失败的原因归结为以下是不可能的：

int main( int argc, char* argv[] )
{
  char a[3];
  char b[3];
  b = a; // Illegal - won't compile
  return 0;
}

问题：

我理解为什么上述内容是非法的 - 但我是否正确，这表明std::map<myuuid, int> map; myuuid myu; map[myu] = 5;是非法的原因？

问题：

如果我实现了自定义分配器，我认为我可以通过编译std::map<myuuid, int> map; myuuid myu; map[myu] = 5;来逃脱。我猜测，=的{{1}}（赋值）可能会被重新路由＆＃34;到myuuid，但这是一个疯狂的，无理的猜测，这似乎是错误的。有没有办法可以修改自定义分配器来解决第一个代码块的编译错误？

我有一个半生不熟的想法，MyAlloc::allocate()操作数operator=可能会被重新路由＆＃34;到自定义分配器，但我不知道POD是否属实（myuuid只是对POD的类型定义。）

编译错误太大而无法在此处发布，但有意思的是，第一个错误是：

myuuid

有趣的是，/usr/include/c++/4.8.3/bits/stl_pair.h: In instantiation of \u2018std::pair<_T1, _T2>::pair(const _T1&, const _T2&) [with _T1 = const char [16]; _T2 = int]\u2019: /usr/include/c++/4.8.3/bits/stl_map.h:469:59: required from \u2018std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const key_type&) [with _Key = char [16]; _Tp = int; _Compare = std::less<char [16]>; _Alloc = MyAlloc<char [16]>; std::map<_Key, _Tp, _Compare, _Alloc>::mapped_type = int; std::map<_Key, _Tp, _Compare, _Alloc>::key_type = char [16]]\u2019 main.cpp:27:12: required from here /usr/include/c++/4.8.3/bits/stl_pair.h:113:31: error: array used as initializer : first(__a), second(__b) { }是我在引入自定义分配器之前尝试解决的原始编译错误。所以这似乎是一个递归问题。

问题：

可以通过使用自定义分配器以某种方式将数组用作error: array used as initializer键吗？（也许我应该实现一个可选功能？）或者，在所提到的链接上的替代方案是唯一的解决方案吗？（在这些问题的答案中没有提出，但由于自定义分配器有点深奥，我认为值得单独提问）

Answer 1

原始C数组不是表现良好的类型。你无法分配它们或用你想要的其他东西做任何事情。

其次，std::less<char[16]>不起作用。

C ++提供std::array，它是struct中原始C数组的薄包装。

typedef std::array<char, 16> myuuid;

它甚至带有内置的<，通常可以做正确的事情。

所以我们得到：

std::map<myuuid, int> map;

事情有效。

std::array有[]和.data()以及.size()和.begin()以及.end()，通常表现良好。

如果您需要将其转换为指针，只需致电.data()。

使用数组作为映射键：即使使用自定义分配器也不可能？

1 个答案: