Интересное поведение нестатической функции класса, возвращающей свою статическую переменную

@Mr.X · Регистрация: 03.05.2010

В VS 2008 программа

C++

//////////////////////////////////////////////////////////////////////////////////////
#include <iostream>
//////////////////////////////////////////////////////////////////////////////////////
class A
{
    int i_;    
public:
    A() : i_()
    {}
    //------------------------------------------------------------------------------
    A(const A&  a)
    {
        i_ = get_i();
        std::cout << "In copy A  i_ = "
                  << i_
                  << std::endl;
    }
private:
    //------------------------------------------------------------------------------
    int  get_i()
    {
        static int i = 0;
        return ++i;
    }
};
//////////////////////////////////////////////////////////////////////////////////////
int main()
{
    A a;
    A b(a);
    A c(a);
    A d(a);
}

выводит:

In copy A i_ = 1
In copy A i_ = 2
In copy A i_ = 3
Для продолжения нажмите любую клавишу . . .

Интересно, это стандартное поведение или косяк? Ведь функция get_i не статическая, т.е. по идее у каждого объекта она должна быть своя, и при первом вызове возвращать 1.

silent_1991 · 09.12.2010, 12:54

Хм. Всё-таки в памяти имеется только одна копия функции get_i, а, значит, и только одна копия всех её данных. Получается, что имеется только один экземпляр её статической переменной i. Это всё только догадка, но по логике вещей так и должно быть.

@easybudda · 09.12.2010, 14:38

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

Всё-таки в памяти имеется только одна копия функции get_i, а, значит, и только одна копия всех её данных.

не, по-моему функция-то у каждого объекта своя, но все они кивают на один и тот же участок памяти, в котором собственно переменная и хранится... Она просто инициализируется несколько не полит-корректно, что создаёт иллюзию того, что каждый объект должен создавать "свою" статическую переменную, ну или как минимум обнулять её...

@volovzi · 09.12.2010, 14:47

По-моему, функция всё-таки одна. Просто метод класса ещё неявно получает указатель на экземпляр, поэтому создаётся иллюзия, что функции разные.

Gcc, кстати, то же самое выдаёт.

@Mr.X · 09.12.2010, 16:03 **[ТС]**

Если это свойство справедливо, то можно им пользоваться для создания вектора, элементы которого знают свой индекс:

C++

//////////////////////////////////////////////////////////////////////////////////////
#include <algorithm>
#include <iostream>
#include <vector>
//////////////////////////////////////////////////////////////////////////////////////
class A
{
    int i_;    
public:
    A() : i_()
    {}
    //------------------------------------------------------------------------------
    A(const A&  a)
    {
        static int  i = 0;
        i_ = i++;
    }
    //------------------------------------------------------------------------------
    operator int()
    {
        return  i_;
    }    
};
//////////////////////////////////////////////////////////////////////////////////////
typedef std::vector<A>  T_A_vect;
//////////////////////////////////////////////////////////////////////////////////////
int main()
{
    T_A_vect  v(10);
    std::copy(v.begin(), v.end(), std::ostream_iterator<int>(std::cout, "\n"));
}

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

@easybudda · 09.12.2010, 16:13

Не по теме:

Сообщение от Mr.X

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

Ну и довести до нервного тика того штрейхбрейхера, который после Вас эту программу переделывать возьмётся... ;)

silent_1991 5053 / 3114 / 271 Регистрация: 11.11.2009 Сообщений: 7,045
	09.12.2010, 12:54	2
	Хм. Всё-таки в памяти имеется только одна копия функции get_i, а, значит, и только одна копия всех её данных. Получается, что имеется только один экземпляр её статической переменной i. Это всё только догадка, но по логике вещей так и должно быть. 0

@easybudda Модератор 11658 / 7171 / 1704 Регистрация: 25.07.2009 Сообщений: 13,142
	09.12.2010, 14:38	3
	Сообщение от silent_1991 Всё-таки в памяти имеется только одна копия функции get_i, а, значит, и только одна копия всех её данных. не, по-моему функция-то у каждого объекта своя, но все они кивают на один и тот же участок памяти, в котором собственно переменная и хранится... Она просто инициализируется несколько не полит-корректно, что создаёт иллюзию того, что каждый объект должен создавать "свою" статическую переменную, ну или как минимум обнулять её... 1

@volovzi 274 / 175 / 12 Регистрация: 14.03.2010 Сообщений: 501
	09.12.2010, 14:47	4
	По-моему, функция всё-таки одна. Просто метод класса ещё неявно получает указатель на экземпляр, поэтому создаётся иллюзия, что функции разные. Gcc, кстати, то же самое выдаёт. 0

@easybudda
	09.12.2010, 16:13 Интересное поведение нестатической функции класса, возвращающей свою статическую переменную #6
	Не по теме: Сообщение от Mr.X Также можно это использовать для создания статических переменных класса, которые при обычном объявлении требуется еще определять где-то вне класса. Ну и довести до нервного тика того штрейхбрейхера, который после Вас эту программу переделывать возьмётся... ;) 0

Опции темы