Question

我正在研究boost :: swap实现：

namespace boost_swap_impl
{
  template<class T>
  BOOST_GPU_ENABLED
  void swap_impl(T& left, T& right)
  {
    using namespace std;//use std::swap if argument dependent lookup fails
    swap(left,right);
  }

  template<class T, std::size_t N>
  BOOST_GPU_ENABLED
  void swap_impl(T (& left)[N], T (& right)[N])
  {
    for (std::size_t i = 0; i < N; ++i)
    {
      ::boost_swap_impl::swap_impl(left[i], right[i]);
    }
  }
}

namespace boost
{
  template<class T1, class T2>
  BOOST_GPU_ENABLED
  void swap(T1& left, T2& right)
  {
    ::boost_swap_impl::swap_impl(left, right);
  }
}

该实现还包含以下注释：

// Note: the implementation of this utility contains various workarounds:
// - swap_impl is put outside the boost namespace, to avoid infinite
// recursion (causing stack overflow) when swapping objects of a primitive
// type.

但是，我不明白为什么原始类型（以及为什么只有原语）会导致无限递归。

Answer 1

如果swap_impl位于名称空间boost中，则swap(left,right);实施中的调用swap_impl将解析为boost::swap而不是std::swap 。也就是说，boost::swap -> boost::swap_impl -> boost::swap，因此无限递归。

正如dyp在评论中指出的那样，对注释//use std::swap if argument dependent lookup fails的正确解释应如下所示：非限定swap(left,right)旨在为两个参数选择一个专门的交换函数，在这些参数类型的命名空间。如果未提供此类专用功能，则使用通用std::swap作为后备。

为什么要将boost :: swap中的swap_impl移动到一个单独的命名空间？

1 个答案: