Почему не наследуются конструкторы?

@Андрей Xomach · Регистрация: 22.01.2012

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

Здравствуйте. Гугл говорит, что конструкторы в C++ унаследовать никак нельзя. Почему так? В чём проблема с их наследованием?
Хотел написать вектор, у которого operator [] переопределён на at()

C++
1
2
3
4
5
6
template <class T>
struct svector : private vector <T> {
    T & operator [] (int n) {
        return this -> at (n);
    }
};

Но так теряются конструкторы. Спасает вот такой костыль:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
template <class T>
struct svector : private vector <T> {
    T & operator [] (int n) {
        return this -> at (n);
    }
 
    svector () : vector <T> () {}
 
    template <class T1>
    svector (const T1 &a) : vector <T> (a) {}
 
    template <class T1, class T2>
    svector (const T1 &a, const T2 &b) : vector <T> (a, b) {}
};

Но это уже костыль. Так что не тру)

Croessmah · 18.02.2015, 15:26

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

Который тоже выполняется до тела конструктора.

до конструктора базового класса?

Tulosba · 18.02.2015, 15:40

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

до конструктора базового класса?

Инициализация полей производного класса до выполнения конструктора базового?

Такого точно быть не должно и не может.

Croessmah · 18.02.2015, 15:54

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

Инициализация полей производного класса до выполнения конструктора базового?

ну вроде как об этом речь. Посмотрим в общем :-)

@DrOffset · 18.02.2015, 16:14

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

Вероятно речь об этом

Вопросов нет. Но речь шла об инициализации до вызова конструктора. Однако, несмотря на такую запись, инициализация таки выполняется в время вызова конструктора. Это очевидно, т.к. i принадлежит объекту.

Tulosba · 18.02.2015, 16:26

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

Но речь шла об инициализации до вызова конструктора.

Легко.

C++
1
2
3
4
struct C
{
   static const int m = 42;
};

Никто же не говорил, что поле должно быть не статическое (и не константное)?

Или говорил?

@DrOffset · 18.02.2015, 16:43

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

Никто же не говорил, что поле должно быть не статическое (и не константное)? Или говорил?

Внимание к вечеру видимо рассеивается и люди перестают учитывать контекст беседы.
Цитирую:

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

но завершается создание объекта конструктором наследника(точнее инициализацией его полей)

Речь идет об объекте и о его полях, инициализация которых проводится в конструкторе (явно или неявно).
На это было возражение:

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

Инициализация полей может происходить до исполнения конструктора

мы все еще говорим про объект, ведь так? Статические переменные и константы класса не являются полями объекта. Они принадлежат scope класса и только.
Отсюда и был мой вопрос, каким же макаром мы собрались инициализировать поля объекта до вызова конструктора (POD типы не в счет, у них конструктора вообще нет, следовательно "до" не имеет смысла).

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

Или говорил?

Получается, что это имелось в виду. Если же человек имел в виду твой вариант, то его возражение некорректно в заданном контексте. Извините уже за занудство.

GREGOR_812 · 23.02.2015, 19:14

DrOffset, я не говорил "до вызова", я говорил "до выполнения"

C++
1
2
3
4
5
6
7
Struct MyStruct
{
    MyStruct(/* some params */) : some_field2(some_param1), some_field2(some_param2), ...
    {}
private:
    /* some fields */
};

@DrOffset · 23.02.2015, 19:39

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

я говорил "до выполнения"

Т.е. ты считаешь, что список инициализации, это "до выполнения"?
Начнем с того, что инициализация в конструкторе может быть выполнена только посредством списка инициализации, задание значения переменным в скобках { } - это уже присвоение.
Ну и, считая, что конструктор "не выполняется" на этапе "обработки" списка инициализации, ты заблуждаешься.

Добавлено через 1 минуту
Проще говоря, мы не можем начать что-то делать в конструкторе, не начав его выполнения. Таким образом выполнение == вызов.

GREGOR_812 · 23.02.2015, 20:02

DrOffset, может быть, я неверно интерпретирую термины. По моему мнению, выполнение - это момент, когда выполняется первый оператор внутри тела

@DrOffset · 23.02.2015, 20:47

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

По моему мнению, выполнение - это момент, когда выполняется первый оператор внутри тела

Конструктор начинает свое выполнение с инициализации. То, что оно так разнесено синтаксически, не должно давать повода думать, что она (инициализация) исполняется до выполнения конструктора.
Да и потом, даже если взять твою терминологию. Все равно инициализация может быть только в одном месте - в списке инициализации, если значение задается в теле {} - это уже присвоение. В таком случае возражение

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

Инициализация полей может происходить до исполнения конструктора

вообще не имеет смысла.

Добавлено через 9 минут
Пришла в голову небольшая иллюстрация.
Есть такая возможность языка, называется function try block. Она позволяет превратить тело функции целиком в блок try.
Запись для обычной функции выглядит так:

C++
1
2
3
4
5
6
7
void foo()
try
{
}
catch(...)
{
}

Запись function try block для конструктора выглядит так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
class A
{
public:
    A()
    try 
     : a(init_a()) // если init_a() бросит исключение, мы попадем в catch(...)
    {
    }
    catch(...)
    {
    }
private:
    int a;
};

Запись необычная, но тем не менее, список инициализации попадает в тело функции полноправно, наравне с операциями внутри {}. Конструктор - это исключительная функция во всех смыслах. И в смысле понимания что такое тело функции, и в смысле вызова и сигнатуры. Нужно просто это принять и все встанет на свои места

Croessmah · 23.02.2015, 21:13

https://www.cyberforum.ru/blogs/18334/blog103.html

Новые блоги и статьи Все статьи Все блоги /
Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .	Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .	rest api anylogic - выполнение модели на своём русском сайте anaschu 02.07.2026 Как подружиться с AnyLogic Cloud API, победить провайдеров и развернуться Java-бэкенд в Docker на бесплатном хостинге: Двухдневный лог борьбы Всем привет! Хочу поделиться свежим (и довольно. . .	Где деньги лежат kumehtar 02.07.2026 Это - японская подводная лодка I-52 (тип C2, кодовое имя Momi) вышла из Японии в марте 1944 года с миссией в оккупированную немцами Францию (Лорьян). Это была одна из «Янаги»-миссий по обмену. . .
Krabik для WoW 3.3.5a, многоязычный AmbA 02.07.2026 Допилил бота, думаю что окончательно. Изменения: - добавлена многоязычность - добавлено снятие скриншотов - добавлено поддержание бафов хождения по воде (для жреца, дк и шамана) - и так, по. . .	Алиса нашла кучу ошибок компиляции и запуска в проекте, который без проблем компилировался и запускался))) anaschu 30.06.2026 Я пока посмеюся, но завтра проверю. А вообще интерсно. Дал алисе файл, в котором точно нет ошибок компиляции и запуска, и попросил их найти. Нашла кучу))) Критические ошибки, мешающие компиляции и. . .	сукцессия 16. Общий обзор, в основном что бы другие ии поняли anaschu 29.06.2026 # Передаточный документ: модель микоризной сукцессии (для нового чата) Этот документ предназначен для того, чтобы новый чат Claude мог продолжить работу без необходимости заново разбираться в. . .	сукцессия 15 неявная схема anaschu 29.06.2026 Алиса Калибровка параметров симбиотической модели: технический обзор Содержание: Введение Постановка проблемы Технические аспекты реализации Процесс внедрения изменений

GREGOR_812 28 / 28 / 5 Регистрация: 23.04.2014 Сообщений: 130
	23.02.2015, 20:02
	DrOffset, может быть, я неверно интерпретирую термины. По моему мнению, выполнение - это момент, когда выполняется первый оператор внутри тела 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	23.02.2015, 21:13
	https://www.cyberforum.ru/blogs/18334/blog103.html 0