c++ - 带 static_assert() 的逗号运算符

Question

当尝试使用 static_assert 作为参数来计算逗号运算符时编译失败

void fvoid() {}

int main() {
    int a = (1, 2); // a=2
    int b = (fvoid(), 3); // b=3

    int d = ( , 5);
    //        ^
    // error: expected primary-expression before ',' token. OK

    int c = (static_assert(true), 4);
    //       ^~~~~~~~~~~~~
    // error: expected primary-expression before 'static_assert'. Why?
}

看起来 static_assert() 在编译后甚至没有解析为 void。我没有设法在标准中找到与此相关的任何内容。有没有办法将它与逗号运算符一起使用或与其他表达式(不带分号)一起使用？

Answer 1

不，没有。语言语法要求在静态断言声明 的末尾有一个分号。

N4140 §7 [dcl.dcl]/1

static_assert-declaration:

​ ​ ​ ​static_assert ( constant-expression , string-literal ) ;