重构含未实例化类默认参数的C++代码 寻求最优方案

原始代码问题分析 #

你目前的代码通过两个重载的func实现无参/带参逻辑，但可以通过默认参数合并成单一函数。另外注意原始main.cpp存在错误：func是MyClass的成员函数，不能直接全局调用，必须先实例化MyClass对象。

推荐重构方案 #

方案一：指针参数+默认nullptr（兼容所有C++版本）

这种方式兼容性最好，逻辑清晰，还能避免不必要的对象拷贝。

my_func.h

class MyClass{
 public:
  OtherClass otherclass;
  // 默认参数为nullptr，表示使用成员变量otherclass
  void func(const OtherClass* others = nullptr);
};

my_func.cpp

#include <my_func.h>

void MyClass::func(const OtherClass* others){
  // 确定要处理的目标对象：若传入nullptr则用成员变量，否则用传入的对象
  const OtherClass& target = others ? *others : this->otherclass;
  
  if(target.value.IsObject)
    func(target.value); // 保持原递归逻辑
}

main.cpp（修正后）

#include <my_func.h>

int main(){
  MyClass obj; // 必须实例化MyClass对象
  obj.func(); // 调用无参逻辑（使用obj.otherclass）
  // 也可以主动传入自定义OtherClass对象：obj.func(some_other);
}

方案二：std::optional（C++17及以上）

如果你的项目支持C++17，用std::optional语义更明确，代码可读性更强。

my_func.h

#include <optional>

class MyClass{
 public:
  OtherClass otherclass;
  void func(std::optional<const OtherClass&> others = std::nullopt);
};

my_func.cpp

#include <my_func.h>

void MyClass::func(std::optional<const OtherClass&> others){
  // value_or：若有传入值则用传入的，否则用成员变量
  const OtherClass& target = others.value_or(this->otherclass);
  
  if(target.value.IsObject)
    func(target.value);
}

方案对比 #

• 方案一：无版本依赖，性能最优（无拷贝），适合所有C++项目。
• 方案二：语义更清晰，代码更简洁，但需要C++17及以上环境。

注意：避免用非静态成员变量直接作为默认参数——C++不允许这样做，因为默认参数是编译期绑定的，无法依赖运行时的对象实例。

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