Question

如果类型C是符合STL的容器，如何正确检测C是否包含成员函数reserve？我尝试了以下方法（使用GCC 4.6.3）：

template< typename C, typename = void >
struct has_reserve
  : std::false_type
{};

template< typename C >
struct has_reserve< C, typename std::enable_if<
                         std::is_same<
                           decltype( &C::reserve ),
                           void (C::*)( typename C::size_type )
                         >::value
                       >::type >
  : std::true_type
{};

这适用于C std::vector，但不适用于无序容器，例如std::unordered_set。原因是，reserve是std::vector的（直接）成员函数，但对于无序容器，它是从基类继承的，即它的签名不是void (C::*)( typename C::size_type )而是{对于void (B::*)( typename C::size_type )的某些未指定的基类B，{1}}。

我知道如何解决它并检测C即使是继承，但它看起来很笨拙，我想知道标准允许什么。所以......

我的问题是：标准是否允许reserve从未指定的基类继承，还是概要绑定并需要直接成员函数？

Answer 1

所有关于从基类继承的标准都是允许的：

17.6.5.11派生类[派生]

1 - 实现可以从具有为实现保留的名称的类派生C ++标准库中的任何类。

它没有说明是否允许从基类继承方法（以及其他成员，如typedef）;显然，由于实现这样做，标准应该描述这种行为。

在任何情况下，检测例如通过强制转换为成员函数类型reserve，即使是派生类型最多的成员，也不能保证工作，因为：

17.6.5.5成员函数[member.functions]

2 - 实现可以在类中声明其他非虚拟成员函数签名：


通过向成员函数签名¹⁸⁶添加带默认值的参数; [...]


186）因此，C ++标准库中类的成员函数的地址具有未指定的类型。

检查reserve是否存在的正确方法是尝试调用它：

template< typename C, typename = void >
struct has_reserve
  : std::false_type
{};

template< typename C >
struct has_reserve< C, typename std::enable_if<
                         std::is_same<
                           decltype( std::declval<C>().reserve( std::declval<typename C::size_type>() ) ),
                           void
                         >::value
                       >::type >
  : std::true_type
{};

这具有并行容器要求（unordered_set的表103）的优点，这是规范性的，其中概要更倾向于提供信息。

正确签名/检测Container :: reserve（）的存在

1 个答案:

17.6.5.11派生类[派生]

17.6.5.5成员函数[member.functions]