C++模板中引用的处理

我想专门为 std::vector<bool>::reference 是你唯一的选择。

注意使用 std::vector<bool> 一开始可能是个坏主意 std::vector<bool> 对于C++语言的未来版本,专业化是被禁止的,所以你可以使用它。 std::deque<bool> 相反。

我不确定你是否已经知道这件事…

专门化std::vector是 不 真的是一个STL容器,因为它 不 满足必要的要求。特别是,不可能创建满足 STL concepts 因为引用语义(不能伪造引用)。检查 this article 更多信息。(也就是说,在自动引用的情况下,应该有一个编译器指令来提供对STD::在未来C++标准中的向量的控制)。

解决问题的一个简单方法是通过重载函数 F 对于这个特定类型(以及其他类型,如果它们出现并且不多的话)。注意这是一个 超载 和 不 安 专业化 . 你也可以查一下这个 why not specialize function templates .

void f(std::vector<bool>::reference t)
{
  /* ... */
}

有两种方法可以做到这一点,一种是,正如您所建议的,专门用于 std::vector<bool>::reference .另一种是利用类型特征进行调度。

template <class T>
void f (T& t) {
  f_impl(t, is_reference_wrapper_type<T>());
}

template <class T>
void f_impl(T& t, mpi::false_) {
  t = T();
}

template <class T>
void f_impl(T& t, mpi::true_) {
  // do nothing, or voodoo here
}

注意,上面的代码是未经测试的,在这种情况下,基于一个特性或一组特性的调度方法会更加复杂。

这也意味着您需要实现 is_reference_wrapper_type 像这样:

template <class T>
struct is_reference_wrapper_type : mpi::false_ {};

template <>
struct is_reference_wrapper_type<std::vector<bool>::reference> : mpi::true_ {};

使用特性或模板专门化将使其工作。