Прелюдія:
std::tuple<int, int, int> f();
std::tuple<int, int, float, int> g();
C ++ 1z введе синтаксис для структурованих прив'язок, що дозволить писати замість
int a, b, c;
std::tie(a, b, c) = f();
щось на зразок
auto [a, b, c] = f();
Однак std::tieтакож дозволено вказати std::ignoreігнорувати певні компоненти, наприклад:
std::tie(a, b, std::ignore, c) = g();
Чи можна буде зробити щось подібне, використовуючи новий синтаксис структурованих прив'язок? Як би це працювало?
std::ignoreЯ думаю, не більше копій, ніж з . Оскільки ми гарантуємо елісію копіювання, фіктивна змінна ініціалізується; за допомогою ініціалізується std::tieтимчасовий, який знаходиться в rhs присвоєння std::ignore.
auto[IGNORE]який генерує унікальне ім'я (наприклад: з конкретним компілятором COUNTER або LINE ). Було б читається досить, і на практиці буде функціонувати як std::ignoreдля std::tie.
getповертається.
Відповіді:
Пропозиція структурованих прив’язок містить спеціальний розділ, що відповідає на ваше запитання ( P0144R2 ):
3.8 Чи повинен бути спосіб явного ігнорування компонентів?
Мотивацією буде замовчування попереджень компілятора про невикористані імена. Ми вважаємо, що відповідь повинна бути "ще не". Це не мотивовано випадками використання (попередження компілятора мовчання - це мотивація, але це не сам випадок використання), і найкраще залишити це, поки ми не зможемо переглянути це в контексті більш загальної пропозиції щодо узгодження шаблонів, де це повинно випасти як особливий випадок.
Симетрія з
std::tieрекомендувала б використовувати щось на зразокstd::ignore:tuple<T1,T2,T3> f(); auto [x, std::ignore, z] = f(); // NOT proposed: ignore second elementОднак це відчуває себе незручно.
Передбачаючи збіг зразків у мові, можна запропонувати підстановочний знак на зразок
_або*, але оскільки у нас ще немає збігу зразків, передчасно вибирати синтаксис, який, як ми знаємо, буде сумісним. Це чисте розширення, яке може зачекати, щоб його розглянули із збігом шаблонів.
Однак зверніть увагу, що робочий проект стандарту в даний час переглядається відповідними національними органами (НБ), і є коментар НБ із запитом на цю функцію ( P0488R0 , US100 ):
Декларації декомпозиції повинні забезпечувати синтаксис для відкидання деяких повернутих значень, як і
std::tieвикористанняstd::ignore.
std::ignoreструктурованих прив’язок немає.
Чи можна буде зробити щось подібне, використовуючи новий синтаксис структурованих прив'язок?
Ні. Вам просто доведеться скласти ім’я змінної, яке не буде згадуватися пізніше.
-Wunused-variable, яке ви можете використовувати: [[maybe_unused]] auto [ a, b, dummy ] = std::tuple(1,"2",3f);але це означає, що будь-яке з них може бути невикористаним, ви не будете знати, яке саме. зараз для цього випадку немає хорошого рішення. сподіваємось, це буде вдосконалено в c ++ 20. взято звідси: stackoverflow.com/questions/41404001/…
(void)dummy;щоб позбутися невикористаного попередження змінної, не впливаючи на інші змінні.