14

我有一个非常简单的问题:某处有一个函数

int size (const C & c)

至少可以通过与参数相关的名称查找来找到它。现在的问题:

struct B
{
    int size () { /* ... */ }

    void doSomething (const C & c)
    {
       int x = size (c); // <----------- problem!
       // ...
    }
}

这不起作用,因为名称查找在找到成员函数后停止。

我必须在指示的行中写什么,以便尝试调用成员函数,而是编译器会在成员函数不存在的情况下执行它会做什么?

请注意,解决方案不是write ::size,因为这会阻止依赖于参数的名称查找,并且仅在我知道size声明的位置时才有效。

进一步的并发症:

我知道对于T我使用以下模板化成员函数的每种相关类型B::doSomething,某处都会有一个函数

int size (const T & t)

至少可以通过与参数相关的名称查找来找到它。B如下所示:

struct B
{
    int size () { /* ... */ }

    template<class T>
    void doSomething (const T & t)
    {
       int x = size (t); // <----------- problem!
       // ...
    }
}

我希望调用非成员函数(我确信它存在,但我不能确定它在哪里)。

4

3 回答 3

15

这是一个众所周知的问题,它的解决方案同样众所周知。我很惊讶它还没有被提及。如果您有一个非成员函数,例如:

class C;
size_t size( C const &c );

您可以使名称查找优先于具有using声明的成员函数找到它:

struct B {
  size_t size();

  void foo( C const &c ) {
    using ::size;
    size_t sz = size(c);
  }
};

当编译器看到对 的调用时size(c),它会从最里面的范围开始并向外搜索名为 的东西size。如果没有using声明,编译器会在全局命名空间中的非成员之前在类范围内找到成员函数,但using声明会改变这一点。最里面的作用域是函数本身,使用声明在成员函数之前。

这样做的好处是您仍然可以获得参数相关查找(ADL),因为实际调用size(c)是不合格的。这意味着您可以在模板中使用它:

template <class T>
void foo( T const &c ) {
  using ::size;
  size_t sz = size(c);
}

...即使正确的size函数位于另一个命名空间中,ADL 也会找到它。using声明只需要引用一些 size函数,不一定是你真正想要的。在某个地方有一个可能调用该成员的默认实现是正常的。下一个版本的 C++ 标准 (C++17) 几乎肯定会有一个std::size功能可以做到这一点。一旦它被广泛使用,您将能够编写

using std::size;
size_t sz = size(c);

目前,您可以提供自己的默认实现,例如:

template <class C>
constexpr auto size( C const &c ) -> decltype(c.size()) {
  return c.size();
}

...或者您可以继续参考 的版本C,并依靠 ADL 找到正确的版本。

于 2015-08-19T09:15:25.430 回答
6

如果你不能重命名你自己的成员函数,你可以使用一个肮脏的把戏:

static inline int dirty_trick(C const & c)
{
    return size(c);
}

void B::doSomething(C const & c)
{
    int x = dirty_trick(c);

    // ...
}
于 2012-11-15T22:19:07.027 回答
3

为了完整起见,并补充理查德史密斯接受的答案:

我的解决方案现在如下所示:

namespace adl {
   // This declaration's only purpose is the possibility to refer to
   // a non-member function named "size" in a using declaration.
   //
   // The signature does not matter, so we choose the easiest possible one.
   void size ();
}

struct B
{
    int size () { /* ... */ }

    template<class T>
    void doSomething (const T & t)
    {
       using adl::size;
       int x = size (t); // <----------- no problem anymore
       // ...
    }
};

这样我就不必包含任何可能实际上不需要的标题。

于 2015-08-20T19:50:57.683 回答