Ну вроде бы вы всё поняли почти правильно. На самом деле, указатель или не указатель, не имеет значения, правила для всех одинаковы.
Смотрите. Когда вы пишете
X x = y;
происходит совсем не то, что если бы вы написали
X x;
x = y;
В первом случае происходит инициализация объекта x
, во втором случае -- присваивание. Для инициализации используется конструктор копирования. Это значит, что записи
X x = y;
и
X x(y);
равнозначны, и понимаются компилятором одинаково: в обоих случаях будет вызван конструктор копирования из типа Y
(который является типом выражения y
).
Рассмотрим ваш пример. Код
scoped_ptr p = new Object();
вызывает выполнение конструктора копирования типа scoped_ptr
с аргументом типа Object*
(ведь тип выражения new Object()
как раз Object*
). А код
Object *p = new Object();
точно так же вызывает конструктор копирования типа Object*
(объект p
у нас имеет тип Object*
, вас не должно смущать, что звёздочка написана около p
, на самом деле это всё равно что Object* p
). Для типа указатель (которым является Object*
) неявно определён конструктор копирования из указателя приводимого типа -- он просто копирует значение адреса.
Код scoped_ptr *p = new Object();
бы не скомпилировался потому, что у типа scoped_ptr*
нету конструктора копирования из типа Object*
, ведь типы scoped_ptr
и Object
не родственны (а конструктор копирования для указателей есть только для родственных типов).
Записи scoped_ptr p = new Object();
и scoped_ptr p(new Object());
абсолютно равносильны, никакого неявного преобразования тут не происходит.
Заметьте, что с присваиванием немного сложнее. Если компилятор видит код
p = new Object();
где p
имеет тип scoped_ptr
, он пытается применить существующий оператор присваивания. Но у нас не определён явно оператор присваивания, и в этом случае C++ создаёт для нас оператор присваивания по умолчанию, который выглядит примерно так:
scoped_ptr& scoped_ptr::operator=(const scoped_ptr& other)
{
pObj = other.pObj;
return *this;
}
Итак, C++ пытается применить этот оператор присваивания, но тип нашего аргумента -- Object*
, а не scoped_ptr
. В этом случае компилятор проверяет, а нельзя ли сделать неявное преобразование типа Object*
в scoped_ptr
? Для такого преобразования подходит конструктор scoped_ptr
с типом аргумента Object*
(если он не объявлен со специальным ключевым словом explicit
, которое предотвращает неявное преобразование). Итак, у нас сначала вызовется конструктор scoped_ptr(Object*)
, и результат уйдёт оператору присваивания по умолчанию.
Вот вам маленький пример (добавлен оператор присваивания, выводящий текст):
http://ideone.com/968YYk.
Необходимое уточнение (уголок зануды).
На самом деле, конструкции scoped_ptr p = new Object();
и scoped_ptr p(new Object());
всё же немного отличаются.
Код scoped_ptr p(new Object());
является вызовом конструктора scoped_ptr
с аргументом типа Object*
. Среди всех имеющихся конструкторов (их может быть несколько) выбираются подходящие (те, у которых первый аргумент может быть неявно сконвертирован в тип Object*
, а остальные аргументы имеют значения по умолчанию), из них выбирается наиболее подходящий (точно так же, как и при нормальном вызове функции). Этот конструктор и вызывается; аргументы при необходимости подвергаются неявной конверсии.
В нашем случае у нас два конструктора: с аргументом типа Object*
и с аргументом типа const scoped_ptr&
, второй конструктор автоматически добавлен компилятором. Из этих конструкторов оба подходят (в первом аргумент точно соответствует, во втором аргумент может быть неявно сконвертирован при помощи, конечно, первого конструктора). Но первый подходит лучше, поэтому он и выбирается.
Такая инициализация называется прямой инициализацией.
Код scoped_ptr p = new Object();
рассматривается компилятором немного по-другому. Во-первых, при рассмотрении вариантов не учитываются конструкторы с ключевым словом explicit
. Это значит, что если бы конструктор scoped_ptr(Object *pObject)
был помечен этим ключевым словом, наш код не скомпилировался бы. Далее, компилятор выбирает не любой конструктор, а неявно (или явно) определённый конструктор scoped_ptr& operator=(const scoped_ptr& ptr)
. (Если этот конструктор удалить или сделать приватным, код не откомпилируется.)
Итак, наш аргумент конструктора Object*
должен неявно сконвертироваться в scoped_ptr
. (Как уже сказано, для этого не подходят конструкторы, помеченные как explicit
.) Таким образом, если при прямой инициализации рассматриваются конверсии через любые типы промежуточных аргументов, то здесь подходит лишь конверсия через scoped_ptr
. Вот пример, когда эти пути могут быть различны: http://ideone.com/WhBk4R.
Финальный вызов копирующего конструктора может быть убран при оптимизации (обычно так и происходит).
Такая инициализация называется копирующей инициализацией.
(Спасибо @Котик'у, указавшему на тонкость с explicit
.)
Некоторые идеи подсмотрены на SO, советую почитать, кто хочет больше подробностей и ссылок на стандарт.
-fno-elide-constructors
нужный конструктор работает). --- Вот ещё по теме на SO: stackoverflow.com/q/12953127/276994scoped_ptr(const scoped_ptr& ptr)
приватным, не скомпилируется, так как для копирующей инициализации такой конструктор должен быть (несмотря на то, что его потом выкинет оптимизатор). Таков стандарт.