Объявление объекта перед его инициализацией в c ++

Question

Можно ли объявить переменную в c ++ без ее создания? Я хочу сделать что-то вроде этого:

Animal a;
if( happyDay() ) 
    a( "puppies" ); //constructor call
else
    a( "toads" );

По сути, я просто хочу объявить внешнюю сторону условного выражения, чтобы получить правильную область видимости.

Есть ли способ сделать это без использования указателей и выделения a в куче? Может быть, что-то умное со ссылками?

Answer 1

Вы не можете объявить переменную без вызова конструктора. Тем не менее, в вашем примере вы можете сделать следующее:

Animal a(happyDay() ? "puppies" : "toads");

Answer 2

Вы не можете сделать это напрямую в C ++, поскольку объект создается, когда вы определяете его с помощью конструктора по умолчанию.

Однако вы можете запустить параметризованный конструктор для начала:

Animal a(getAppropriateString());

Или вы можете использовать что-то вроде ?: operator для определения правильной строки. (Обновление: @Greg дал синтаксис для этого. См. Ответ)

Answer 3

Вы не можете использовать ссылки здесь, поскольку, как только вы выйдете из области видимости, ссылка будет указывать на объект, который будет удален.

Действительно, у вас есть два варианта:

1 - указатели:

Animal* a;
if( happyDay() ) 
    a = new Animal( "puppies" ); //constructor call
else
    a = new Animal( "toads" );

// ...
delete a;

2 - Добавить метод Init к Animal:

class Animal 
{
public:
    Animal(){}
    void Init( const std::string& type )
    {
        m_type = type;
    }
private:
    std:string m_type;
};

Animal a;
if( happyDay() ) 
    a.Init( "puppies" );
else
    a.Init( "toads" );

Я бы лично выбрал вариант 2.

Answer 4

Я предпочитаю ответ Грега, но вы также можете сделать это:

char *AnimalType;
if( happyDay() ) 
    AnimalType = "puppies";
else
    AnimalType = "toads";
Animal a(AnimalType);

Я предлагаю это, потому что я работал в местах, где условный оператор был запрещен. (Вздох!) Кроме того, это может быть легко расширено за пределы двух альтернатив.

Answer 5

Если вы хотите избежать сбора мусора - вы можете использовать умный указатель.

auto_ptr<Animal> p_a;
if ( happyDay() )
    p_a.reset(new Animal( "puppies" ) );
else
    p_a.reset(new Animal( "toads" ) );

// do stuff with p_a-> whatever.  When p_a goes out of scope, it's deleted.

Если вы все еще хотите использовать. Синтаксис вместо ->, вы можете сделать это после кода выше:

Animal& a = *p_a;

// do stuff with a. whatever

Answer 6

В дополнение к ответу Грега Хьюгилла, есть еще несколько вариантов:

Поднимите основную часть кода в функцию:

void body(Animal & a) {
    ...
}

if( happyDay() ) {
  Animal a("puppies");
  body( a );
} else {
  Animal a("toad");
  body( a );
}

(Ab) Использовать новые места размещения:

struct AnimalDtor {
   void *m_a;
   AnimalDtor(void *a) : m_a(a) {}
   ~AnimalDtor() { static_cast<Animal*>(m_a)->~Animal(); }
};

char animal_buf[sizeof(Animal)]; // still stack allocated

if( happyDay() )
  new (animal_buf) Animal("puppies");
else
  new (animal_buf) Animal("toad");

AnimalDtor dtor(animal_buf); // make sure the dtor still gets called

Animal & a(*static_cast<Animal*>(static_cast<void*>(animal_buf));
... // carry on

Answer 7

Лучшее решение - использовать указатель.

Animal a*;
if( happyDay() ) 
    a = new Animal( "puppies" ); //constructor call
else
    a = new Animal( "toads" );

Answer 8

Да, вы можете сделать следующее:

Animal a;
if( happyDay() )
    a = Animal( "puppies" );
else
    a = Animal( "toads" );

Это будет правильно вызывать конструкторы.

РЕДАКТИРОВАТЬ: Забыли одну вещь ... При объявлении a вам все равно придется вызывать конструктор, будь то конструктор, который ничего не делает или все равно инициализирует значения чем угодно. Поэтому этот метод создает два объекта, один при инициализации, а другой внутри оператора if.

Лучше было бы создать функцию класса init (), например:

Animal a;
if( happyDay() )
    a.init( "puppies" );
else
    a.init( "toads" );

Этот способ будет более эффективным.