string - 在不分配内存的情况下在 D 中创建字符串？

Question

是否有任何类型安全的方法来创建 string在 D 中，使用仅在运行时可用的信息，而不分配内存？

我可能想要做的一个简单的例子:

void renderText(string text) { ... }

void renderScore(int score)
{
    char[16] text;
    int n = sprintf(text.ptr, "Score: %d", score);
    renderText(text[0..n]); // ERROR
}

使用这个，你会得到一个错误，因为 text 的切片不是一成不变的，因此不是 string (即 immutable(char)[] )

我只能想到三种方法来解决这个问题:

将切片转换到 string .它有效，但很丑陋。

使用切片分配一个新字符串。这有效，但我宁愿不必分配内存。

更改 renderText拿个const(char)[] .这在这里有效，但是(a)它很丑，并且(b)Phobos 中的许多功能需要 string ，所以如果我想以相同的方式使用它们，那么这是行不通的。

这些都不是特别好的。我错过了什么吗？其他人如何解决这个问题？

Answer 1

您有 char 的静态数组.你想把它传递给一个接受 immutable(char)[] 的函数.在没有任何分配的情况下做到这一点的唯一方法是强制转换。想想看。你想要的是一种表现得像另一种类型。这就是类型转换的作用。您可以选择使用 assumeUnique这样做，因为这正是您正在寻找的 Actor 阵容，但这是否真的让您有所收获是值得商榷的。它的主要目的是记录你正在做的转换是为了让被转换的值被视为 immutable并且没有其他引用。看看你的例子，这基本上是正确的，因为它是函数中的最后一件事，但你是否想这样做取决于你。鉴于它是一个静态数组，如果您搞砸并将其传递给一个允许对它的引用泄漏的函数，则会有内存问题的风险，我不确定 assumeUnique是最好的选择。但是，这取决于你。

无论如何，如果您正在执行强制转换(无论是明确的还是使用 assumeUnique )，您都需要确保将其传递给的函数不会泄漏对传递给的数据的引用它。如果是这样，那么你是在自找麻烦。

当然，另一种解决方案是更改函数，使其占用 const(char)[] ，但这仍然存在泄漏对您传入的数据的引用的风险。因此，您仍然需要确定该函数实际要做什么。如果是 pure , 不返回 const(char)[] (或任何可能包含 const(char)[] 的东西)，并且它不可能通过函数的任何其他参数泄漏，那么您是安全的，但是如果其中任何一个不正确，那么您将必须小心。所以，最终，我相信所有使用 const(char)[]而不是强制转换为 string真正买你的是你不必投。这仍然更好，因为它避免了搞砸类型转换的风险(而且通常情况下，尽可能避免类型转换更好)，但是您仍然需要担心有关转义引用的所有相同问题。

当然，这也要求您能够更改函数以获得所需的签名。如果你不能做到这一点，那么你将不得不投。我相信在这一点上，Phobos 的大多数基于字符串的函数都已更改，因此它们被模板化为字符串类型。所以，现在火卫一的问题应该比以前少了。一些函数(特别是 std.file 中的函数)仍然需要模板化，但最终，Phobos 中的函数需要 string特别是应该相当罕见，并且有充分的理由要求它。

然而，最终问题在于您试图将静态数组视为动态数组，虽然 D 绝对允许您这样做，但这样做确实存在风险，您需要确定您正在使用的函数不会泄漏对您传递给它们的本地数据的任何引用。