能否继承std::string实现强类型字符串以避免参数传递错误？

在代码库中，大量函数接收多个std::string类型参数，这些参数含义不同但极易出现传参顺序错误，希望通过定义不同类在编译期检测这类问题。

问题代码示例 #

void displayIdentity(const std::string &firstName, const std::string &lastName) {
    std::cout << "First name = " << firstName << "\t; " << "Last name = " << lastName << std::endl;
}

const std::string firstName = "John";
const std::string lastName  = "Doe";
displayIdentity(lastName, firstName); // 应为displayIdentity(firstName, lastName)

当前采用的模板继承方案 #

通过模板继承std::string实现类型区分：

template <typename NAME> class TypedString : public std::string {
  public:
    explicit TypedString(const char* s) : std::string{s} {}
    
    explicit TypedString(const std::string& s) : std::string{s} {}
};

方案效果（编译期错误检测） #

定义具体类型后，传参顺序错误会触发编译错误：

using FirstName = TypedString<struct FirstNameTag>;
using LastName = TypedString<struct LastNameTag>;

const FirstName firstName2{"John"};
const LastName  lastName2{"Doe"};
displayIdentity2(firstName2, lastName2);
// displayIdentity2(lastName2,  firstName2); // 编译错误：无法将LastName转换为FirstName

//const LastName lastName3{firstName2};      // 编译错误，符合预期

const LastName lastName3{std::string(firstName2)}; // 可显式转换

疑问 #

该方案能正常工作，但资料指出不应继承std::string（因其析构函数非虚）。由于TypedString无额外成员，析构逻辑与std::string一致，且不需要多态特性，仅需在构造/转换上区分。请问该方案是否可行？还是应采用更繁琐的组合方式？

继承std::string的方案是可行的 #

你提到的继承方案在当前场景下完全安全，原因如下：

• 无多态需求：你不需要通过std::string*或std::string&指针/引用指向TypedString对象并调用析构函数，因此不会触发未定义行为。只有当基类指针指向派生类对象，且通过基类指针调用析构函数时，非虚析构才会导致问题——而你的场景完全不涉及这种操作。
• 无额外成员：TypedString没有添加任何成员变量或自定义析构逻辑，析构时只会调用std::string的析构函数，行为完全符合预期。
• 满足核心需求：该方案完美实现了编译期检测传参顺序错误的目标，同时保留了std::string的所有成员函数，使用成本极低。

组合方式的优劣 #

如果采用组合（即TypedString内部持有std::string成员），确实能完全避免继承非虚析构类的争议，但会带来额外工作量：

• 需要包装成员函数：你需要手动封装std::string的常用方法（比如c_str()、size()、operator+等），否则无法直接使用这些功能，代码复杂度会上升。
• 转换成本略高：虽然可以通过重载转换运算符（比如operator const std::string&() const）实现隐式转换到std::string，但体验上不如继承直接。

最终建议 #

在你的场景下，继承方案是更优选择——它既满足编译期类型检查的核心需求，又没有引入实际的安全风险，同时保持了代码简洁性。如果后续有扩展TypedString的需求（比如添加自定义成员），再考虑切换到组合方式也不迟。

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