将方法静态性传播到派生类

Question

template<typename T> struct Derived: T
{
  /*static*/ int foo(int x) { return T::foo(x) + 1; }
};

如果T::foo(int x) 是static，那么Derived<T>::foo(int x) 也应该是static。否则Derived<T>::foo(int x) 应该是非静态的。

有没有办法让编译器处理这个问题？

Answer 1

不，您不能按照您的要求传播staticness。顺便说一句，你也可以对const提出同样的问题：

int foo(int x) { return bar(x) + 1; } // Infer that foo is const because bar is

C++ 说明符旨在传达关于接口的意图，即使实现发生变化，用户也可以依赖它：

static int foo(x); // This method does not require an object
int foo(x) const; // This method will not modify the object

如果 - 例如通过模板 - 实现可能会有所不同，您的界面必须反映最低公分母。例如const，方法必须是非const。对于static，这是你的问题，你不能声明static。

请注意，这不是一个巨大的强制。即使一个方法是static，你也可以still call it using with object semantics。因此，在您的情况下，您必须只使用对象语义。特别是关于您在 cmets 中的澄清

如果分配器是静态的，那么容器不需要保存它的指针。所以装饰器必须保持静态。

请注意，装饰器也可以不保留staticness，因为容器可以在任何情况下都保存指针，并通过对象表示法调用它们，而不管它们的@987654332 @ness。

Answer 2

使用以下构造：

static_assert(std::is_same<decltype(&Derived::foo), decltype(&T::foo)>::value or
              (std::is_member_function_pointer<decltype(&Derived::foo)>::value and 
               std::is_member_function_pointer<decltype(&T::foo)>::value), 
              "Derived::foo & T::foo are not having same static-ness");

我已经用我的 g++ 进行了快速测试，效果很好。

它的作用

1. 获取这两种方法的地址，如果它们具有可比性，则 他们必须是static。这意味着方法签名是 预期相同（如您的示例中所暗示的那样）。
2. 如果 (1) 失败，则检查 foo 是否都是 它们各自的类类型。这里没有严格的类型，但你可以强加一些更多的元编程。交给你了。

如果以上两个都失败，那么编译器会报错。这个static_assert可以放在class Derived里面。

^{注意事项：(1) 如果Derived::foo 是static 和T::foo 不是那么无论如何，它会给出错误。 (2)or&and是C++的官方关键字。如果某些编译器（如 MSVC）不支持，则分别使用 || 和 &&。}