Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > инициализация шаблонного типа

Автор: boostcoder 10.2.2011, 09:28

всем доброго дня.

пример:

Код


template<typename T>
T func(const T& defval = ???) {
   if ( ... )
      return defval;
   T val(???);
   ...
}

вопрос в том, как инициализировать неизвестный тип?

спасибо.

Автор: maxim1000 10.2.2011, 09:43

да так же, как и нешаблонный...

Код


T func(const T& defval = T())

Автор: boostcoder 10.2.2011, 09:49

maxim1000, я сделал так же.
но из любопытства задал вопрос, потому что, не уверен был в том, что это корректный вариант для любых типов.
т.е. вне зависимости от типа, конструкция типа "T()" произведет инициализацию типа каким значением? учитывая что тип может быть POD/не_POD ?

Автор: mes 10.2.2011, 10:03

Цитата(boostcoder @ 10.2.2011, 08:49

)

вне зависимости от типа, конструкция типа "T()" произведет инициализацию типа каким значением?

в зависимости smile

либо вызов конструктора, либо zero-иницоиализация smile

Цитата(boostcoder @ 10.2.2011, 08:49

)

что это корректный вариант для любых типов.

если у типа нет подходящего конструктора, компилятор завопит smile

Автор: boostcoder 10.2.2011, 10:06

Цитата(mes @ 10.2.2011, 10:03

)

либо вызов конструктора, либо zero-иницоиализация

о как!
т.е. POD`ы будут инициализированы нулем, а классы - конструктором по умолчанию, я правильно понял?

Автор: borisbn 10.2.2011, 10:17

работает даже если T - функция

Код


template<typename T>
T func( const T & defval = T() ) {
    return defval;
}

void foo()
{
    typedef void (*f_t)();
    f_t f0 = func<f_t>();       // f0 == 0
    f_t f = func<f_t>( foo );
}

только у меня один вопрос ( boostcoder, если не возражаешь ) - смотрю в отладчике (MSVC 2008) значения f и foo

Цитата

f    0x008310b9 foo(void)    void (void)*
*f    0x008310b9 foo(void)    void (void)
foo    0x00831290 foo(void)    void (void)

и они, почему-то, отличаются. Так и должно быть ? Почему ?
Спасибо.

Автор: azesmcar 10.2.2011, 10:17

Цитата(boostcoder @ 10.2.2011, 10:06

)

т.е. POD`ы будут инициализированы нулем, а классы - конструктором по умолчанию, я правильно понял?

Это default инициализация.

Цитата

To default-initialize an object of type T means:
— if T is a non-POD class type (clause 9), the default constructor for T is called (and the initialization is
ill-formed if T has no accessible default constructor);
— if T is an array type, each element is default-initialized;
— otherwise, the object is zero-initialized.

а zero инициализация в свою очередь означает

Цитата

To zero-initialize an object of type T means:
— if T is a scalar type (3.9), the object is set to the value of 0 (zero) converted to T;
— if T is a non-union class type, each nonstatic data member and each base-class subobject is zeroinitialized;
— if T is a union type, the object’s first named data member89) is zero-initialized;
— if T is an array type, each element is zero-initialized;
— if T is a reference type, no initialization is performed

Автор: mes 10.2.2011, 10:27

Цитата(azesmcar @ 10.2.2011, 09:17

)

а zero инициализация в свою очередь означает

тогда уж для полноты картины и value-initialize:

Цитата

To value-initialize an object of type T means:
— if T is a class type (clause 9) with a user-declared constructor (12.1), then the default constructor for T is
called (and the initialization is ill-formed if T has no accessible default constructor);
— if T is a non-union class type without a user-declared constructor, then every non-static data member
and base-class component of T is value-initialized;

Автор: boostcoder 10.2.2011, 10:34

все понял.
вопрос закрыт.

Добавлено @ 10:39
azesmcar, mes, все понял.
и последний вопрос: Вам череп не жмет? smile