Question

我正在使用DMD 2.062 for x86。

module test;    

private enum test1
{
    one,
    two,
    three,
}

private enum test2
{
    one,
    two,
    three,
}

auto ct = cartesianProduct([EnumMembers!test1], [EnumMembers!test2]);

unittest
{
    import std.stdio;
    foreach (n, m; ct)
    {
        writeln(n, " ", m);
    }
}

此程序打印出来：

one one
two one
three one

然后抛出访问冲突错误。我是否错误地使用了cartesianProduct，或者这是函数中的错误？

Answer 1

很可能是两点都有点。这里的问题是尝试在编译时计算ct并生成在运行时使用的结果范围。我想CTFE或cartesianProduct都不会期望这样的情况，并且会发生涉及使用无效内存的不良事件。我认为应该工作，或者是编译时错误，但这对你没有帮助，属于bug跟踪器。

这里有什么关系，但是如果你将ct初始化移动到单元测试主体或static this()模块构造函数，那么一切都会有效。您似乎错过的是D在程序启动时不支持全局变量的初始化。分配给global的值总是在编译时进行评估，这通常“正常工作”，经常导致编译时错误（如果初始化不是CTFE）并且在这种情况下会导致奇怪的行为：）

您可能想要的是此代码：

auto Test1Members = [ EnumMembers!test1 ];
auto Test2Members = [ EnumMembers!test2 ];
alias CT = typeof(cartesianProduct(Test1Members, Test2Members));
CT ct;

static this()
{
    ct = cartesianProduct(Test1Members, Test2Members);
}

通常，编译时数据和复杂类型（如数组或关联数组）的运行时数据之间的互连对于当前的D前端实现来说非常棘手，需要很多关注。

Object.Error：打印std.algorithm.cartesianProduct结果时的访问冲突

1 个答案: