d - 为什么我没有得到声明者的标识符......？

Question

为什么我没有得到 declarator .... 的标识符？

mixin 在这种情况下没用，但这是我的问题的一个最小示例。

tlvar 是 TL 的类型，所以我看不出问题出在哪里。

代码也在 dpaste 上，与 dmd 或 ldc 相同的错误。

谢谢你的帮助

import std.stdio;
import std.typecons;

struct Data{
    int x;
    int y;
}

template getcode(T)
{
    mixin(`
          alias TL = Tuple!(
                            int,"x",
                            int,"y"
                           );
          `);
    TL tl;
    mixin(`
          tl.x = 10;
          tl.y = 5;
          `);
}

void main()
{

    getcode!Data;
    writeln( tl.x );
}

Answer 1

你的问题是模板只能包含声明，不能包含语句或表达式。这是有问题的代码:

mixin(`
      tl.x = 10;
      tl.y = 5;
      `);

这些是赋值，而不是声明。这就是为什么您会收到奇怪的错误消息“错误:没有声明符 tl.x 的标识符”。编译器认为您正在尝试声明一个变量，但它找不到类型“tl.x”...或类似的东西。解决方案是设置内联元组的值，如下所示:

template getcode(T)
{
    mixin(`alias TL = Tuple!(int, "x", int, "y");`);
    TL tl = TL(10, 5);
}

或者，为了更好地匹配您的原始代码:

template getcode(T)
{
    mixin(`alias TL = Tuple!(int, "x", int, "y");`);
    TL tl = mixin(`TL(10, 5)`);
}

现在还有一个问题。在 main 中，在实例化模板的地方，您将收到错误“Error: getcode!(Data) has no effect”。这是因为模板实例本身不是声明。您必须将它别名化为一个符号，或者使用 mixin 语句将其混合。

将它别名为一个符号将允许您通过该符号访问模板内的声明，并将其混合将模板的声明放入它实例化的范围内。我推荐第一个选项，因为它更卫生。除非万不得已，否则不应使用 mixin。

void main()
{
    //Error: getcode!(Data) has no effect
    //getcode!Data;

    //Ok
    //mixin getcode!Data;
    //writeln( tl.x );

    //Ok
    alias Code = getcode!Data;
    writeln( Code.tl.x );
}

您可以在此处查看我更正后的代码版本:

http://dpaste.dzfl.pl/f6152a35bfc8