如何实现不可实例化的C++基类并修正代码编译错误？

1. 基类构造函数BaseCompartment(Test x): x_{x} {}的写法是否正确？ #

语法上是正确的，能完成成员x_的初始化，但存在效率问题：参数x按值传递会触发Test类的拷贝构造，初始化x_时又会触发一次拷贝（C++17之前）。若追求效率，建议改为const引用传递以减少不必要的拷贝：

BaseCompartment(const Test& x): x_{x} {}

2. 获取成员的函数const Test& getTest1() const { return x_; }用法是否正确？ #

用法完全正确：

• 返回const Test&可避免拷贝Test对象，提升访问效率；
• 成员函数后的const保证该函数不会修改类的成员变量，符合只读访问的设计；
• 函数为protected权限，仅允许派生类调用，契合基类不对外暴露内部成员的需求。

3. 如何修改上述代码使其可运行？ #

当前代码的编译错误来自两个核心点：

1. 缺少<string>头文件，编译器无法识别std::string；
2. 纯虚析构函数必须提供定义：派生类析构时会调用基类析构，即使基类析构是纯虚的，也需要有实现。

修改后的完整可运行代码：

#include <string>  // 新增必要头文件

class Test {
    std::string x_;
public:
    Test(std::string x): x_{x} {}
};

class BaseCompartment {
    Test x_;
protected:
    BaseCompartment(Test x): x_{x} {}
    virtual ~BaseCompartment() = 0;  // 纯虚析构
    
    const Test& getTest1() const {
        return x_;
    }
};

// 为BaseCompartment的纯虚析构提供定义
BaseCompartment::~BaseCompartment() = default;

class BaseTempCompartment: public BaseCompartment {
    Test y_;
protected:
    // 调整初始化顺序为声明顺序（基类优先），符合C++初始化规则
    BaseTempCompartment(Test x, Test y): BaseCompartment(x), y_{y} {}
    virtual ~BaseTempCompartment() = 0;
    
    const Test& getTest2() const {
        return y_;
    }
};

// 为BaseTempCompartment的纯虚析构提供定义
BaseTempCompartment::~BaseTempCompartment() = default;

class XTempCompartment: public BaseTempCompartment {
public:
    XTempCompartment(Test x, Test y): BaseTempCompartment(x, y) {}
    ~XTempCompartment() {}
};

int main() {
    XTempCompartment x {Test("1"), Test("2")};
    // 在XTempCompartment中调用基类方法示例
    const Test& t1 = x.getTest1();
    const Test& t2 = x.getTest2();
    return 0;
}

4. 如何优化代码以满足需求？ #

针对“基类不可实例化、派生类可访问基类成员”的核心需求，可从效率、可读性、安全性三个维度优化：

• 优化参数传递，减少拷贝：
  将所有构造函数的Test和std::string参数改为const引用或右值引用，避免不必要的对象拷贝：

  // Test类构造函数优化
  Test(const std::string& x): x_{x} {}
  
  // BaseCompartment构造函数支持const引用和移动语义
  BaseCompartment(const Test& x): x_{x} {}
  BaseCompartment(Test&& x): x_{std::move(x)} {}
  

• 简化析构函数实现：
  纯虚析构可直接在类内用= default定义，无需类外单独编写（C++11及以上支持）：

  class BaseCompartment {
      // ... 其他成员
      virtual ~BaseCompartment() = 0;
  };
  inline BaseCompartment::~BaseCompartment() = default;
  

• 按需暴露接口：
  若需要在XTempCompartment外部访问getTest1和getTest2，可在XTempCompartment中用using声明提升权限：

  class XTempCompartment: public BaseTempCompartment {
  public:
      using BaseTempCompartment::getTest1;
      using BaseTempCompartment::getTest2;
      // ... 其他代码
  };
  

• 巩固基类不可实例化特性：
  当前通过纯虚析构已实现基类为抽象类（无法实例化），无需额外操作，符合需求。

内容的提问来源于stack exchange，提问作者Metropol_Tilkisi