Вид инициализации при наследовании от лямбды

@ASCII · Регистрация: 15.12.2013

Студворк — интернет-сервис помощи студентам

Есть такой фрагмент:

C++
1
2
3
4
5
6
7
8
9
10
11
12
template <class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
template <class... Ts> overloaded(Ts...) -> overloaded<Ts...>;
 
void test()
{
    overloaded object
    {
            [](auto arg) { std::cout << arg << ' '; },
            [](double arg) { std::cout << std::fixed << arg << ' '; },
            [](const std::string& arg) { std::cout << std::quoted(arg) << ' '; }
    };
}

Вопрос: Какой вид инициализации здесь используется? Agregate/List/Direct/Copy initialization?

Почему мы здесь так уверенно инициализируем такой объект?

C++
1
2
3
struct overloaded : type1, type2, type3
{
};

Мы можем полагаться на некие знания о том, в каком виде создается лямбда объект?

Прошу объяснить и при возможности дать ссылку на стандарт.

Спасибо!

@ASCII · 02.05.2019, 01:34 **[ТС]**

Сообщение от rat0r

Формально, по стандарту, вроде как есть. И GCC компилирует https://godbolt.org/z/IfD-gD, хотя там инициализация подобъекта базового класса без копирующего или перемещающего конструктора. clang этот код не компилирует.

Ну да, это можно зарепортить кстати в комитет, если этого еще никто не сделал

@rat0r · 02.05.2019, 01:35

Сообщение от ASCII

Ну да, это можно зарепортить кстати в комитет

Этот

Сообщение от https://bugs.llvm.org/show_bug.cgi?id=34516#c1

This is a defect in the standard wording. Copy elision cannot be guaranteed when initializing a base class subobject, because base classes can have different layout than the corresponding complete object type.

комментарий от члена комитета (и автора пропозала про guaranteed copy elision).

@ASCII · 02.05.2019, 01:39 **[ТС]**

Тогда окей

@TheCalligrapher · 22.10.2024, 05:30

Сообщение от ASCII

Если overloaded не агрегатный класс, тогда какой конструктор вызывается?

Здесь выполняется обычная агрегатная инициализация, которая стала возможной для таких типов начиная с С++17 благодаря ослабленным ограничениям в определении агрегата. В С++98 в агрегатам не разрешалось иметь базовые классы. Начиная c С++17 агрегатам разрешается иметь невиртуальные публичные базовые классы.

@SmallEvil · 22.10.2024, 14:14

Сообщение от ASCII

Если overloaded не агрегатный класс, тогда какой конструктор вызывается?

Для инициализации конструктор не обязателен.

Новые блоги и статьи Все статьи Все блоги /
FSharp: interface of module DevAlt 16.05.2026 Интерфейс модуля F# позволяет управлять доступностью членов, содержащихся в реализации модуля. По-умолчанию все члены модуля доступны: module Foo let x = 10 let boo () = printfn "boo" . . .	Хитросплетение родственных связей пантеона греческих богов. russiannick 14.05.2026 Однооконник, позволяющий узреть и изучить отдельных героев древней Греции. <!DOCTYPE html> <html lang="ru"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible". . .	[golang] Угол между стрелками часов alhaos 12.05.2026 По заданным значениям часа и минуты необходимо определить значение меньшего угла между стрелками аналогового циферблата часов. import "math" func angleClock(hour int, minutes int) float64 { . . .	Debian 13: Установка Lazarus QT5 ВитГо 09.05.2026 Эта инструкция моя компиляция инструкций volvo https:/ / www. cyberforum. ru/ blogs/ 203668/ 10753. html и его же старой инструкции по установке Lazarus с gtk2. . .
Нейросеть на алгоритме "эстафета хвоста" как перспектива. Hrethgir 06.05.2026 На десерт, когда запущу сервер. Статья тут https:/ / habr. com/ ru/ articles/ 1030914/ . Автор я сам, нейросеть только помогает в вопросах которые мне не известны - не знаю людей которые знали-бы. . .	Асинхронный приём данных из COM-порта Argus19 01.05.2026 Асинхронный приём данных из COM-порта Купил на aliexpress термопринтер QR701. Он оказался странным. Поключил к Arduino Nano. Был очень удивлён. Наотрез отказывается печатать русские буквы. Чтобы. . .	попытка написать игровой сервер на C++ pyirrlicht 29.04.2026 попытка написать игровой сервер на плюсах с открытым бесконечным миром. возможно получится прикрутить интерпретатор питон для кастомизации игровой логики. что есть на текущий момент:. . .	Контроль уникальности выбранного документа-основания при изменении реквизита Maks 28.04.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРемонтСпецтехники", разработанного в КА2. Задача: уведомлять пользователя, если указанная заявка (документ-основание). . .

@ASCII 99 / 70 / 13 Регистрация: 15.12.2013 Сообщений: 463
	02.05.2019, 01:39 [ТС]
	Тогда окей 0

Опции темы