Почему GCC предупреждает меня о провале, даже когда я использую [[провал]]?

В следующем фрагменте кода я использую стандартный [[fallthrough]]атрибут из C ++ 1z для документирования того, что требуется падение:

#include <iostream>

int main() {
    switch (0) {
        case 0:
            std::cout << "a\n";
            [[fallthrough]]
        case 1:
            std::cout << "b\n";
            break;
    }
}

С GCC 7.1 код компилируется без ошибок. Однако компилятор все равно предупреждает меня о провале:

warning: this statement may fall through [-Wimplicit-fallthrough=]
    std::cout << "a\n";
    ~~~~~~~~~~^~~~~~~~

Зачем?

— s3rvac
источник

И вот я тут подумал, что вы, ребята, C ++, не сможете сделать что-то еще более уродливым!

— SnakeDoc

@SnakeDoc: Это подарок!

— Дедупликатор

@SnakeDoc Это должен быть комментарий к ответу, что делает его еще хуже. :)

Я не согласен с закрытым голосованием. Причина «простой типографской ошибки» существует для случаев, когда проблема с OP возникла только из-за некоторой ошибки, не связанной с описанием вопроса, и не будет полезна для кого-либо еще. В этом случае вполне вероятно, что другие люди забудут точку с запятой в этом месте, получат ту же ошибку и найдут этот вопрос при поиске решения.

— CodesInChaos

Мне очень не нравится, что мой комментарий был удален из этого вопроса, поэтому я вынужден повторить его снова - хотя это действительно типографская ошибка, очень вероятно, что другие пользователи будут повторять его, искать его и находить этот вопрос с этим ответом. Таким образом, это хороший вопрос и хороший ответ, и его следует оставить открытым.

— Barry

105

После атрибута отсутствует точка с запятой:

case 0:
    std::cout << "a\n";
    [[fallthrough]];
    //             ^
case 1:

[[fallthrough]]Атрибут должны быть применен к пустому оператору (см P0188R1 ). В этом случае текущий ствол Clang дает полезную ошибку :

error: fallthrough attribute is only allowed on empty statements
    [[fallthrough]]
      ^
note: did you forget ';'?
    [[fallthrough]]
                   ^
                   ;

Обновление: Коди Грей сообщил об этой проблеме команде GCC.

— s3rvac
источник

Было бы неплохо упомянуть, к чему применяется атрибут, без точки с запятой. Полагаю, дело в следующем?

— CodesInChaos

@CodesInChaos fallthrough attribute is only allowed on empty statements; поскольку за ним не следует пустое выражение, gcc просто игнорирует его

— musicman523

@ musicman523 Это ... кажется ... неправильным? По-видимому, было бы более разумным потребовать точку с запятой, даже если за ней следует пустой оператор, и просто отказаться от компиляции в противном случае.

— SnakeDoc

@SnakeDoc По-видимому, это просто частный случай атрибутов оператора, поэтому синтаксический анализатор разрешает это, но он не имеет никакой семантики при применении к непустому оператору. Считайте это ошибкой, если хотите, и clangисправьте ее.

— Barmar

@CodesInChaos Без точки с запятой атрибут будет принадлежать метке.

— TC