将具有固定签名的自定义函数名称注入 CRTP

Question

我想将具有相当固定签名的待创建函数的 名称 注入到 CRTP（Curiously recurring template pattern）基类中。

这是我的现有代码 (coliru MCVE link) :-

#include <iostream>
#include <string>
//--- library layer ---
template<class O,class Under> struct Crtp{
    Under* oNo=nullptr;
    auto getUnderlying(){
        return oNo;   
    }
};
//--- user layer ex 1 ---
struct B{  // please don't edit this class
    int k=0;
};
struct BO : Crtp<BO,B>{
    auto getBOUn(){ return Crtp<BO,B>::getUnderlying();}
    // some other functions
};
//--- user layer ex 2 ---
struct C{ // please don't edit this class
    int kad=0;
};
struct CO : Crtp<CO,C>{
    auto getCOUn(){ return Crtp<CO,C>::getUnderlying();}
    // some other functions
};

int main() {
    BO bo; B b; bo.Crtp<BO,B>::oNo=&b;  //<-- please don't edit
    std::cout<< bo.getBOUn()->k; 
}

我希望它会像这样简单：-

//--- user layer ex 1 ---
struct B{  // (same)
    int k=0;
};
struct BO : Crtp<BO,B,getBOUn>{  //<--- so easy and clean
    // some other functions
};

有可能吗，怎么做？

我有 >100 个类对，例如 B 和 BO ；他们对getBOUn()-like 函数有自己独特的自定义名称。

我可以用宏来修复它，但我不想要另一层混乱。
请不要使用宏回答。

真实用例

我经常创建这样的类：-

struct Walkable{
    float stamina =0 ;
    float speed =0;
};
struct WalkableO: Crtp<WalkableO,Walkable>{
    auto getWalkUnderlying(){ return Crtp<BO,B>::getUnderlying();}
    void runNow(){
        if(getWalkUnderlying()->stamina >1 ){
             getWalkUnderlying()->speed +=3;
             getWalkUnderlying()->stamina --;
        }
    }
};

class Dog : public virtual WalkableO, public virtual HasHpO, public virtual EatenableO {};

有时，我喜欢直接访问特定的底层：-

Dog* dogPtr; /** some ini ...*/ dogPtr->getWalkUnderlying()->stamina=10;

有时，我想以更抽象的方式访问“其他一些功能”：-

dogOPtr->runNow();  //a custom function within WalkableO

我使用虚拟继承是因为如果我重新设计以制作例如每个 WalkableO 到 成为 HasHpO，我可以像下面这样编辑代码。
我什至不需要更改Dog 代码：-

struct WalkableO: Crtp<WalkableO,Walkable>, virtual HasHpO{/*something*/};

Dog 本身，可以是BullDog、TigerDog 等的基类

Answer 1

很遗憾，您声明新函数的选择非常有限。

在这种情况下，您将引入一个新的identifier。在preprocessing 之后，标识符 只能由declaration 引入。在您的限制下，只有三种相关的声明是simple-declarations、function-definitions 和template-declarations（在声明之上，它在这种情况下必须是 simple-declaration 或 function-definition 因为它应该声明一个函数）。在 template-declaration 中，您声明的唯一名称是在底层 simple-declaration 或 function- 中声明的名称定义，所以我们基本上仅限于simple-declarations和function-definitions。 simple-declaration 或 function-definition 引入的名称在其declarators 中指定，因此无法指定新的标识符 并自动声明它。

换句话说，在 C++ 中进行预处理之后，无法“透明地”传递要声明的标识符。所以我不认为你想要做的事情是可能的。你必须要么使用宏，要么自己声明函数。