Блог

Рассмотрим следующий код:

 static if (!is(MyStruct))
{
    struct MyStruct
    {
    }
}

static if (is(MyStruct))
{
    static assert(0);
}
 

Мое первоначальное понимание заключалось в том, что порядок объявлений (в глобальном масштабе) не имеет значения в D.

Однако в этом случае порядок static if s определяет, компилируется программа или нет.

Следовательно, является ли этап оценки D во время компиляции процедурной функцией (например, C / C ), декларативной функцией или чем-то еще? Что это такое в настоящее время и каким оно планируется (если они разные)?

Редактировать:

Я только что понял, что проблема на этом даже не заканчивается. Что происходит с static if использованием .tupleof a для перечисления членов текущего модуля и создания проблемы того же типа?

Это декларативная функция, которая обладает процедурными свойствами в качестве побочного эффекта реализации.

Это усложняется. По сути, это декларативно, но порядок все равно может иметь значение, когда a static if вводит новый символ. Помимо этого, я не верю, что это когда-либо имеет значение, но, как показывает ваш пример, когда вы вводите новый символ в a static if , а другой static if использует его, порядок определенно может иметь значение.

Недавно было некоторое обсуждение того, как сделать его максимально последовательным и интуитивно понятным. Таким образом, особенно в угловых случаях, ситуация может измениться в ближайшем будущем. Но я бы ожидал, что ваш пример продолжит вызывать static assert . Вопрос в том, начнет ли он запускаться static assert , если вы измените порядок static if блоков, и я не уверен, что это действительно было решено. Обсуждение этого в группе новостей компилятора не совсем убедительно и немного сложно следовать ИМХО, поэтому я не могу сказать наверняка. Но я ожидаю, что упорядочение по-прежнему будет иметь значение, по крайней мере, в некоторых случаях, static if когда блок вводит новый символ.

Редактировать:

Это было недавно опубликовано одним из основных участников dmd:

В настоящее время порядок оценки во время компиляции не определен; DMD в настоящее время делает это неопределенно в лексическом порядке, но это планируется изменить в ближайшем будущем. ‘static if’ и ‘mixin’ будут оцениваться в лексическом порядке, прежде чем будет сделано что-либо еще. После этого все остальное будет оцениваться по требованию.

Помимо прохода «static if / mixin», компиляция может выполняться параллельно (хотя текущая реализация этого еще не делает), что означает отсутствие упорядочения (несколько элементов могут завершать компиляцию одновременно).

Итак, надеюсь, это проясняет ситуацию.