Создание объекта std::set

@kravam · Регистрация: 04.06.2008

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

http://www.cplusplus.com/reference/stl/set/set/
Вот официальный сайт, по-моему.
И вот там такие конструкторы:

C++

explicit set ( const Compare& comp = Compare(),
               const Allocator& = Allocator() );
 
template <class InputIterator>
  set ( InputIterator first, InputIterator last,
        const Compare& comp = Compare(), const Allocator& = Allocator() );
 
set ( const set<Key,Compare,Allocator>& x );

И везде какие-то параметры, но есть.

И ниже пример создания множества.

C++

1	set<int> first;

Без единого параметра.
Как это понять? СПасибо

@ForEveR · 21.11.2010, 17:53

kravam,

C++

1 2	explicit set ( const Compare& comp = Compare(), const Allocator& = Allocator() );

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

@CheshireCat · 21.11.2010, 17:53

Ну-с, во-первых, говорить об "официальном сайте STL", по-моему, несколько.... эээ..... опрометчиво, скажем так. К тому же, если бы такой официальный сайт существовал бы, он явно был бы не русскоязычным.
Учти еще, что даже реализаций STL существует несколько! Стандарт языка устанавливает требования только к интерфейсу библиотеки. И если б такой сайт существовал - какую именно из реализаций он бы описывал??

Вот этот конструктор

C++

1 2	explicit set ( const Compare& comp = Compare(), const Allocator& = Allocator() );

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

@Nameless One · 21.11.2010, 18:26

Не по теме:

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

К тому же, если бы такой официальный сайт существовал бы, он явно был бы не русскоязычным.

а где там русский язык? :D

@kravam · 21.11.2010, 19:09 **[ТС]**

ForEveR,
CheshireCat, а теперь вопрос: а почему вы решили что этот конструктор и есть конструктор по умолчанию?
Вот я попытался найти ответ сам. У Павловской ("C/C++ ПРограммирование на языке высокго уровня") есть такой пример: класс monstr и три таких конструктора:
monstr (int he= 100, int am= 10);
monstr (color= sk)
monstr (char*= name)

И написано, что первый является конструктором по умолчанию, поскольку его можно вызвать без параметров. И из чего это следует? Из того, что там два параметра типа int? ТАк я могу такой вот конструкто приписать ещё. четвёртый (здесь он по счёту второй):

C++

monstr (int he= 100, int am= 10);
 monstr (int he= 100, int am= 10, int a= 300);
 monstr (color= sk)
 monstr (char*= name)

Так, имеет два конструктора,которые можно вызвать без параметров. Какой из них является конструктором по умолчанию- неизвестно.

У Стивена Прата просто опущен этот вопрос. Кстати, многие авторы отводят конструкторам по умолчанию целую главу, в которой пишут как создать конструктор по умолчанию- конструктор без аргументов. И всё на этом.

@ForEveR · 21.11.2010, 20:12

kravam, Тут очевидно что у set именно этот конструктор используется при создании объекта.

C++

1	std::set<int> Ob;

Хотя бы потому, что других конструкторов, чтобы все параметры были по умолчанию просто нету.

Ну и так. Между прочим. MSVS.

C++

    set()
        : _Mybase(key_compare(), allocator_type())
        {   // construct empty set from defaults
        }

Пустой конструктор самого set который посылает в базовый класс дефолтные параметры класса сравнения и аллокатора

@kravam · 21.11.2010, 20:28 **[ТС]**

Да, так. Вот здесь я нашёл:

[10.4] Всегда ли конструктор по умолчанию для Fred выглядит как Fred::Fred()? Нет. Конструктор по умолчанию - это конструктор, который можно вызывать без аргументов. Таким образом, конструктор без аргументов безусловно является конструктором по умолчанию:
class Fred {
public:
Fred(); // Конструктор по умолчанию: может вызываться без аргументов
// ...
}; Однако возможно (и даже вероятно), что конструктор по умолчанию может принимать аргументы, при условии что для всех них заданы значения по умолчанию:
class Fred {
public:
Fred(int i=3, int j=5); // Конструктор по умолчанию: может вызываться без аргументов
// ...
};

Так, ладно. Теперь идём дальше. Вижу такой код:

C++

1	set<int, less<int> > S

И задаюсь вопросом: какой из трёх конструктров вызывается?

C++

explicit set ( const Compare& comp = Compare(),
               const Allocator& = Allocator() );
template <class InputIterator>
  set ( InputIterator first, InputIterator last,
        const Compare& comp = Compare(), const Allocator& = Allocator() );
set ( const set<Key,Compare,Allocator>& x );

Третий уонструктор отметаю сразу, ибо там один аргумент. Второй теоретически может вызываться, если допустить, что set- функция с неопределённым количеством аргументов. Но тогда получется, что тип int должен соответсвовать переменной first, а она указатель (во вторым аргументом то же самое)

В общем по количеству аргументов более всего подходит опять же, первый конструктор.
НО опять чушь. У меня первый аргумент типа int, а в конструкторе CompareВ общем, чтобы не гадать на кофейной гуще опять хочу спросить, а щас какой конструктор вызывается? Или в моём компе другая реализация STL, отличная от представленной?

@ForEveR · 21.11.2010, 20:44

kravam, Не так все просто.
Как ни странно вызывается конструктор по умолчанию (в MSVS).
Но он не совсем конструктор по умолчанию ибо класс все же шаблонный.
Шаблон класса set выглядит так:

C++

template<class _Kty,
    class _Pr = less<_Kty>,
    class _Alloc = allocator<_Kty> >
    class set

То есть как видно все кроме типа аргумента - шаблон по умолчанию.

Далее. При написании

C++

1	std::set<int, std::less<int> > S;

Вызывается конструктор

C++

    set()
        : _Mybase(key_compare(), allocator_type())
        {   // construct empty set from defaults
        }

Где - key_compare есть переданный шаблон std::less<int>, а аллокатор используется по дефолту.

Добавлено через 5 минут
Из этого конструктора вызывается такой конструктор. Где:
_Parg - значение вернувшееся key_compare() (в нашем случае less<int>), Al - аллокатор (в данном случае по умолчанию).

C++

    explicit _Tree(const key_compare& _Parg,
        const allocator_type& _Al)
        : _Mybase(_Parg, _Al)
        {   // construct empty tree
        _Init();
        }

Добавлено через 3 минуты
При создании объекта допустим таким образом.

C++

1 2	int Arr[]={5,4,3,2,1}; std::set<int, std::less<int> > S(Arr, Arr+sizeof(Arr)/sizeof(*Arr));

вызовется

C++

    template<class _Iter>
        set(_Iter _First, _Iter _Last)
        : _Mybase(key_compare(), allocator_type())
        {   // construct set from [_First, _Last), defaults
        _DEBUG_RANGE(_First, _Last);
        for (; _First != _Last; ++_First)
            this->insert(*_First);
        }

Вот этот конструктор. Где соответственно итераторы - начало, конец последовательности, key_compare() возвращает переданный ШАБЛОННЫЙ тип, ну и аллокатор.

@kravam · 21.11.2010, 23:26 **[ТС]**

я мало чё понял. потом вернусь сюда ещё, спасибо всё равно

@ForEveR · 22.11.2010, 00:28

kravam, При перемене template-ных параметров - не будет вызываться другой конструктор. Другой конструктор будет вызываться только в том случае, если это указано явно в параметрах конструктора. Пример.

C++

1	std::vector<int>(5);

@kravam · 22.11.2010, 20:28 **[ТС]**

я настолько жидко облажался в сообщении номер 7, что аж самому стыдно.
Писал:

C++

1	set<int, less<int> > S

и спрашивал, какой из конструкторов вызывается. Но я не так спрашивал: какому из нижеперечисленных конструкторов соответствует это выражение
S()

C++

 explicit set ( const Compare& comp = Compare(),
               const Allocator& = Allocator() );
template <class InputIterator>
  set ( InputIterator first, InputIterator last,
        const Compare& comp = Compare(), const Allocator& = Allocator() );
set ( const set<Key,Compare,Allocator>& x );

А я спрашивал так (может, я плохо объяснял но именно это я и имел ввиду):
какому из конструкторов соответсвует ЭТО выражение

C++

1	set<int, less<int> >

А меж тем их в соответствие друг другу вообще нельзя ставить! Параметры шаблона есть параметры шаблона, а параметры конструкторов есть параметры конструкторов.
Вот я подумал на досуге и понял чё ИМЕННО я не понял. Опыта вообще не хватает.

@ForEveR · 22.11.2010, 20:59

kravam, Ну да. Параметры шаблона не меняют вызов конструктора. А вот если мы сделаем так.

C++

#include <set>
#include <functional>
 
bool foo(int t, int z)
{
    return t>z;
}
 
int main()
{
    bool(*fp)(int, int)=foo;
    std::set<int, bool(*)(int, int)> St(fp);
}

То вызовется вот этот конструктор.

C++

    explicit set(const key_compare& _Pred)
        : _Mybase(_Pred, allocator_type())
        {   // construct empty set from comparator
        }

@Nameless One
	21.11.2010, 18:26 #4
	Не по теме: Сообщение от CheshireCat К тому же, если бы такой официальный сайт существовал бы, он явно был бы не русскоязычным. а где там русский язык? :D 0

@kravam быдлокодер 1723 / 910 / 106 Регистрация: 04.06.2008 Сообщений: 5,666
	21.11.2010, 23:26 [ТС]	9
	я мало чё понял. потом вернусь сюда ещё, спасибо всё равно 0