предупреждения ЦУСА «набор переменного, но не используется» с использованием различных конструкторов списков инициализатора

Question

В C++ можно определить переменную х из класса X, который имеет конструктор, которые требуют аргументов, используя различные обозначения:

X x{...};  // modern style (1) 
X x = {...}; // slightly more verbose modern style (2) 
X x = X{...}; // verbose modern style (3) 
X x(...);  // old '98 style (4) 
X x = X(...); // verbose old '98 style (5) 

Если объект х в дальнейшем не используется GCC выпуски предупреждение:

variable ‘x’ set but not used 

только в случаях (2), (3) и (5) где = используется, но не в случаях (1) и (4) ,
Не следует ли предупреждать также в этих случаях?

Я использую GCC версии 6.1.1 20160511 с -Wall -Wextra -Wpedantic -std = С ++ 14 под Linux

я попытался для дальнейшего исследования также лязг компилятором. Интересно, что clang вызывает предупреждение только для случаев (3) и (5), но не для других. См. https://godbolt.org/g/qW712c

Я также попытался сравнить выход сборки из 5 различных версий. Код сборки байт для байтов идентичен для всех 5 версий, и это верно как для gcc, так и для clang.

Answer 1

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

2, 3, 5 отличаются друг от друга, потому что они являются конструкцией и назначением.