有没有一种方法可以使用宏来检测是否包含标准标头？

我想做一个相当于boost::swap在我的环境中，可以或不可以包含标准标头。取决于项目许可和其他内容。
我想让部分代码受到警卫检测器的保护：

让我们考虑一个编译单元。
项目特定的、前述的潜力包括：

#include <algorithm> // (or <utility> for C++11 projects)

稍后在我的交换实用程序标头中包含的项目代码中：

namespace MyCompany
{
  template<class T1, class T2>
  void swap(T1& left, T2& right)
  {
     #ifdef _ALGORITHM_   // you get the idea.
       std::swap(left, right);
     #else
       // fallback impl
     #endif
  }
}

我进行了简化，因为我们在这里不讨论 ADL 技巧的细节，但它会被包含在内。
这里供我在谈论的内容参考，但这与这个问题无关：
http://www.boost.org/doc/libs/1_57_0/boost/core/swap.hpp

所以这个问题是关于如何检测标准标头包含 ? the _ALGORITHM_守卫存在于视觉工作室提供的标题中，但我没有读过http://www.cplusplus.com/reference/algorithm/它应该有我可以检查的宏。

(最后的说明：这个问题有点XY偏向。我真正想要的是检测到的存在std::swap函数，而不是标题。）

一个选择是让你的超载比其他选择“更差的匹配”。然后，只有当它们尚不存在时才会选择您的版本：

#if 0
#include <algorithm>
using std::swap;
#endif

template <typename T>
struct ForceLessSpecialized {
  typedef T TYPE;
};

template <typename T>
void swap (T &, typename ForceLessSpecialized<T>::TYPE &) {
}

void bar () {
  int i;
  swap (i, i);
}  

发生了什么：

当有两个候选函数模板特化时，编译器执行“函数模板的部分排序”('03 14.5.5.2)。这将检查一个模板的函数模板参数是否可用于专门化另一个模板。

对于每个模板，我们将使用虚拟参数T1 and T2我们使用这些类型创建虚拟参数列表：

// std::swap argument list
( T1 &  , T1 & )

// our swap argument list
( T2 &, typename ForceLessSpecialized<T2>::TYPE & )

使用来自的虚拟参数专门化我们的交换std::swap gives:

Deduction from First parameter:  T == T1
Deduction from Second parameter:  Non Deduced Context

推导出来的T is T1并且推演成功。

专精std::swap使用交换的虚拟参数给出：

Deduction from First parameter:  T == T2
Deduction from Second parameter:  T == ForceLessSpecialized<T2>::TYPE

推导的类型为T不一样，所以这被认为是推演失败。

因此，综合论证std::swap可以用来专门化我们的模板，但是我们模板的合成参数不能用来专门化std::swap. std::swap被认为更专业，因此赢得了部分排序。