检测类型是否存在

Question

SFINAE 允许我们检测类型是否具有某些数据成员或成员函数。它也可以用来检测某种类型是否存在吗？背景：我想知道是否包含 。

Answer 1

它可以做到，尽管我只设法让它在 C++0x 中工作。

struct no_type {};
struct is_vector_included {
    template<typename U> static decltype(std::vector<U>::iterator()) func( U* );
    template<typename U> static no_type func( ... );
    static const bool value = !std::is_same<no_type, decltype(func<int>(nullptr))>::value;
};

该结构非常奇怪，尽管应该有某些明显的简化，但它们不起作用。更重要的是，为什么不直接 #include 来确定呢？

Answer 2

我对这个问题有一个问题：

如果未包含 ，那么如何在不知道的情况下测试翻译单元中是否引入了某种类型？

您实际上是在要求编译器测试 vector 是否存在，但是如果不先声明 vector ，您怎么能问这个问题呢？

我不知道任何解决方案如何工作并符合标准，但我不是标准主义者，所以可能有一个我不知道的警告。