时间戳

首页 > 解决方案 > C ++使用带有转换运算符的类作为数组的索引

c++ - C ++使用带有转换运算符的类作为数组的索引

问题描述

#include <cinttypes>
#include <type_traits>

template<typename Id, typename Value>
class sparse_set {

  static_assert(std::is_integral_v<Id>, "");  (1)
  static_assert(std::is_unsigned_v<Id>, "");

  Value& operator[](Id id);

  void push_back(const Value& value);
 
  // class implementation left out

};

class entity {

public:
  explicit entity(std::uint32_t id) : _id(id) {}
  ~entity() = default;

  std::uint32_t id() const {
    return _id;
  }

  operator std::uint32_t() const {  (2)
    return _id;
  }

private:
  std::uint32_t _id;

}; // class entity

int main() {
    const auto e = entity{2};

    auto set = sparse_set<entity, int>{};

    set.push_back(0);
    set.push_back(1);
    set.push_back(2);
    set.push_back(3);

    auto i = set[e];  (3)
    
    return 0;
}

我正在尝试使用带有conversion operatorto std::uint32_t(2) 的类作为容器类 (3) 的索引。使用该类的实例访问元素是可行的，我得到了正确的元素。

但是用static_assertandstd::is_unsigned_v和 and测试类std::is_integral_v会导致断言失败。

我需要断言以确保Id可以用作索引。

当我一切正常时static_assert，std::uint32_t我希望转换运算符也能正常工作。

标签： c++conversion-operatorarray-indexing

解决方案

entity当然不是整数类型。它可以转换为可以用作索引的类型，这就是您所需要的：

#include <type_traits>

template<typename Id, typename Value>
class sparse_set {

  static_assert(std::is_convertible_v<Id,size_t>, "");

  // class implementation left out

};

推荐阅读