Чому аргумент типу мапи C ++ вимагає порожнього конструктора при використанні []?

Див. Також стандартний перелік С ++ та типи, що створюються за замовчуванням

Не головна проблема, просто дратує, оскільки я не хочу, щоб мій клас ніколи не створювався без конкретних аргументів.

#include <map>

struct MyClass
{
    MyClass(int t);
};

int main() {
    std::map<int, MyClass> myMap;
    myMap[14] = MyClass(42);
}

Це дає мені таку помилку g ++:

/usr/include/c++/4.3/bits/stl_map.h:419: помилка: немає функції збігу для виклику 'MyClass ()'

Це добре компілюється, якщо я додаю конструктор за замовчуванням; Я впевнений, що це не спричинено неправильним синтаксисом.

Ця проблема поставляється з оператором []. Цитата з документації SGI:

data_type& operator[](const key_type& k)- Повертає посилання на об'єкт, пов'язаний з певним ключем. Якщо карта ще не містить такого об'єкта, operator[] вставляє об'єкт за замовчуванням data_type().

Якщо у вас немає конструктора за замовчуванням, ви можете використовувати функції вставки / пошуку. Наступний приклад чудово працює:

myMap.insert( std::map< int, MyClass >::value_type ( 1, MyClass(1) ) );
myMap.find( 1 )->second;

Так. Значення в контейнерах STL повинні підтримувати семантику копіювання. IOW, вони повинні поводитись як примітивні типи (наприклад, int), що означає, серед іншого, що вони повинні бути конструюваними за замовчуванням.

Без цього (та інших вимог) було б зайво важко реалізувати різні внутрішні операції копіювання / переміщення / обміну / порівняння на структурах даних, з якими реалізовані контейнери STL.

Посилаючись на стандарт C ++, я бачу, що моя відповідь була неточною. Побудова за замовчуванням насправді не є вимогою :

З 20.1.4.1:

Конструктор за замовчуванням не потрібен. Деякі підписи функції елемента-класу контейнера вказують конструктор за замовчуванням як аргумент за замовчуванням. T () повинен бути чітко визначеним виразом ...

Отже, строго кажучи, ваш тип значення повинен бути побудованим за замовчуванням, лише якщо ви випадково використовуєте функцію контейнера, яка використовує конструктор за замовчуванням у своєму підписі.

Реальними вимогами (23.1.3) з усіх значень, що зберігаються в контейнерах STL, є CopyConstructibleі Assignable.

Існують також інші специфічні вимоги до конкретних контейнерів, наприклад, до Comparable(наприклад, до ключів на карті).

До речі, наступні компіляції без помилок на камері :

#include <map>

class MyClass
{
public:
    MyClass(int t);
};

int main()
{
    std::map<int, MyClass> myMap;
}

Отже, це може бути проблема g ++.

Перевірте вимоги до збереженого типу stl :: map. Багато колекцій stl вимагають, щоб збережений тип містив певні властивості (конструктор за замовчуванням, конструктор копіювання тощо).

Конструктор без аргументів потрібен stl :: map, оскільки він використовується, коли оператор [] викликається за допомогою ключа, який ще не зберігався на карті. У цьому випадку оператор [] вставляє новий запис, що складається з нового ключа і значення, побудованого за допомогою безпараметричного конструктора. І це нове значення потім повертається.

Перевірте, чи:

• Ви забули ';' після оголошення класу.
• MyType слід було оголосити відповідним чином.
• Там немає конструктора за замовчуванням ...

Я думаю, декларація std :: map здається правильною.

Швидше за все тому, що цього вимагає std :: pair. std :: pair вміщує два значення за допомогою семантики значень, тому вам потрібно мати можливість створити їх екземпляр без параметрів. Отже, код використовує std :: pair в різних місцях для повернення значень карти викликає, і це зазвичай робиться шляхом створення порожньої пари та присвоєння значень їй перед поверненням локальної пари.

Ви могли б обійти це за допомогою розумних покажчиків, використовуючи карту <int, smartptr <MyClass>>, але це додає накладні витрати на перевірку нульових покажчиків.