为什么 D 的变体看起来令人困惑

Question

我尝试使用 D 语言，发现 std.variant 很酷。

但后来我觉得很困惑。

例如，

import std.stdio;
void main()
{
  string x = "";
  x ~= 'v';
  writeln(x);
}

这符合预期。

但是这个，

import std.stdio;
import std.variant;
void main()
{
  Variant x = "";
  x ~= 'v';
  writeln(x);
}

给出一个难以破译的运行时错误。

这是为什么？

这是消息。

std.variant.VariantException@std/variant.d(1675): Variant: attempting to use incompatible types char and immutable(char)[]
----------------
??:? inout @property inout(immutable(char)[]) std.variant.VariantN!(32uL).VariantN.get!(immutable(char)[]).get() [0x106f84654]
??:? long std.variant.VariantN!(32uL).VariantN.handler!(immutable(char)[]).handler(std.variant.VariantN!(32uL).VariantN.OpID, ubyte[32]*, void*) [0x106f7559d]
??:? std.variant.VariantN!(32uL).VariantN std.variant.VariantN!(32uL).VariantN.opOpAssign!("~", char).opOpAssign(char) [0x106f84a1d]
??:? _Dmain [0x106f74d8d]

Answer 1

这似乎是 std.variant.Variant 中的错误。这里的问题是 char 和 immutable(char) 是两种不同的类型， Variant 不知道它们有密切关系。有两种不同的解决方法：使 x 保持 char[] 而不是 immutable(char)[]（也称为 string），或者使 'v' 保持 immutable(char):

import std.stdio;
import std.variant;
void main()
{
  Variant x = "".dup; // Duplicate the string to make it a heap-allocated, mutable string.
  x ~= 'v';
  writeln(x);
}

或

import std.stdio;
import std.variant;
void main()
{
  Variant x = "";
  x ~= cast(immutable)'v'; // Make 'v' explicitly immutable.
  writeln(x);
}

为什么 D 的变体看起来令人困惑

why D's variant seems confusing

d

dynamic-typing