clang：折疊表達式和“未使用表達式結果”警告

Question

在clang 7.0上，此代碼：

template <typename ... Ts> struct S {
  unsigned gs(unsigned i) {
    unsigned r = 0;
    ((r = unsigned(sizeof(Ts)), i-- == 0) || ...);
    return r;
  }
};

int foo(unsigned i) {
  S<int, double, long, float, char> s;
  return s.gs(3);
}

導致此警告：

~/dev/ta $ ~/bin/clang++ -c -std=c++17 fold-warning.cpp 
fold-warning.cpp:5:46: warning: expression result unused [-Wunused-value]
    ((r = unsigned(sizeof(Ts)), i-- == 0) || ...);
     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~    ^

為什么？ 編譯器的邏輯未使用什么表達式？

Gcc 7.3 / 8.2對此感到滿意。

Answer 1

該行的結果：

((r = unsigned(sizeof(Ts)), i-- == 0) || ...);

是順序的|| 操作，其結果未使用，從而引起警告。

鑄造到void消除警告：

(void)((r = unsigned(sizeof(Ts)), i-- == 0) || ...);