这是非多态继承的一个很好的理由吗？

Question

std::string（因为大多数 - 如果不是全部 - 标准类）没有任何虚拟方法，因此创建具有虚拟方法的继承类将导致 UB（最有可能是析构函数）。（如果我错了，请纠正我）。

我认为没有多态的继承是可以的，直到我在网上阅读了这个主题。

例如，在这个答案中：为什么不应该从 c++ std 字符串类派生？有人反对这种做法。主要原因似乎是切片问题，当派生对象被传递给函数代替std::string参数时，它会抑制添加的功能，从而使非多态性不合逻辑。如果想要扩展string. 我同意所有这些，特别是因为我提倡自由函数而不是单一类。

---

话虽如此，我认为我发现了一种情况，我认为实际上可以保证从std::string. 我将首先展示我想要解决的问题，然后我将展示为什么我认为继承自是std::string最好的解决方案。

当将用于调试目的的函数从 C 移植到 C++ 时，我意识到无法在 C++ 中创建格式化字符串（不使用类似 C 的字符串函数，例如sprintf）。IE：

C 版本：void someKindOfError(const char *format, ...);
这将被称为：

someKindOfError("invalid argument %d, size = %d", i, size);

C++ 版本：void someKindOfError(const std::string &message);
将其调用为类似的效果将是：

std::stringstream ss;
ss << "invalid argument " << i << ", size = " << size;
someKindOfError(ss.str());

这不能是单行，因为<<操作员返回一个ostream. 所以这需要 2 行额外的行和一个额外的变量。

我想出了一个解决方案是一个叫做类StreamString继承自std::string（实际上是一个模板BasicStreamString，从继承basic_string<>，但that't并不重要），并尽可能的新功能去它的运营商<<模仿的行为，stringstream运营商和转换并从string.

所以前面的例子可以变成：

someKindOfError(StreamString() << "invalid argument " << i << ", size = " << size);

_{记住参数类型还是 const std::string &}

该类已创建并且功能齐全。我发现这个类在很多地方非常有用，当需要临时创建字符串时，无需声明额外stringstream变量的额外负担。并且这个对象可以像 a 一样被进一步操作stringstream，但它实际上是 astring并且可以传递给期望string.

---

为什么我认为这是 C++ 习惯用法的一个例外：

• 对象需要表现得完全像一个string传递给需要一个函数时string，因此切片问题不是问题。
• 唯一（值得注意的）添加的功能是operator <<我不愿意将其作为标准 string对象的自由函数重载（这将在库中完成）。

我能想到的一种替代方法是创建一个可变参数模板的自由函数。就像是：

template <class... Args>
std::string createString(Args... args);

这允许我们这样调用：

someKindOfError(createString("invalid argument ", i , ", size = " , size));

这种替代方法的一个缺点是失去了在字符串stringstream创建后轻松操作字符串的能力。但我想我也可以创建一个免费函数来处理它。人们也使用操作符<<来执行格式化插入。

---

要四舍五入：

• 我的解决方案是不好的做法（或最糟糕的）还是 C++ 习惯用法的一个例外并且可以？
• 如果不好，有哪些可行的替代方案？是否createString确定？可以改进吗？

Answer 1

您不需要std::string为此派生类。只需创建一个不相关的类，比如说在内部StringBuilder保留一个std::stringstream。为此类重载运算符 << 并添加std::string强制转换运算符。

像这样的事情应该可以解决问题（未经测试）：

class StringBuilder
{
    std::ostringstream oss;

public:
    operator std::string() const
    {
        return oss.str();
    }

    template <class T>
    friend StringBuilder& operator <<(StringBuilder& sb, const T& t)
    {
        sb.oss << t;
        return *this;
    }
};