程序的行为会根据它所链接的类而改变

Question

我认为我尝试的东西不够花哨，值得“插件”这个词，但我正在尝试做的事情：

给定文件 a.h、a.cpp 和 main.cpp，我想创建其他文件，例如：

g++ -o test main.cpp a.cpp b.cpp

导致测试程序做某事，并且

g++ -o test main.cpp a.cpp c.cpp

做别的事。

这部分我已经开始工作了，参见下面的代码。 我的问题是：有没有可能

 g++ -o test main.cpp a.cpp

做一些默认行为？我尝试了几件事，但我总是得到一些未定义的东西。

到目前为止我的代码：

// a.h    

#ifndef A_H_
#define A_H_

class A {
 public:
  A();
  ~A();
  virtual void print()=0;
};

#endif


// a.cpp

#include <iostream>
#include "a.h"

A::A(){}
A::~A(){}


// b.h

#include "a.h"

class B: public A {
 public:
  B();
  ~B();
  void print();
};


// b.cpp

#include <iostream>
#include "b.h"

B::B(){}
B::~B(){}
void B::print(){
  std::cout << "I am B" << std::endl;
}

A* a = new B();


//  code in c.h and c.cpp similar to the one in b.h and b.cpp
//   just "B" replaced by "C"

// main.cpp

#include "a.h"

extern A* a;

int main(){
  a->print();
}

针对 b.cpp 编译时，代码打印“I am B”，针对 c.cpp 编译时，代码打印“I am C”。

我想要：

g++ -o test main.cpp a.cpp

让测试要么什么都不做，要么做一个默认行为。不需要很简单。

Answer 1

这是一个使用弱符号的（非便携式）选项。

啊.h

struct A {
  public:
    virtual void print() = 0;
};

struct Dummy: A {
  void print() override {};
};

A* init();

main.cpp

#include "a.h"

A* __attribute__((weak)) init()
{
  return new Dummy;
}

int main()
{
  A* a = init();
  a->print();
}

b.cpp

#include "a.h"
#include <iostream>

struct B: A
{
  void print() override {
    std::cout << "B" << std::endl;
  }
};

A* init()
{
  return new B;
}

如果您不与b.cpp 或任何其他提供init 函数的实体链接，则将使用main.cpp 中的那个。如果你链接b.cpp，就会使用那个人的定义。

这种为init 函数提供了一个“默认实现”，并允许您通过不使用全局变量来管理初始化（这里并不重要，但是一旦您充实了您的插件系统就会变得更加棘手）。