На эту фичу я наткнулся когда попытался запихнуть умные указатели в вектор. Т.е. есть у меня умный указатель:

template<class T> class ptr: public chain<T> {
private:
T *ptr;
public:
ptr(ptr<T> &p) { ... }
...
};

В принципе, с первого взгляда понятно почему у конструктора копирования параметр не const. Мы же ведь не можем получить не константный указатель из константного.

И мне нужно было сделать вектор этих вот указателей:

class A {
...
};

vector< ptr<A> > a;

Но компилятор не дал мне сделать этот вектор. Дело в том, что у функции push_back() и подобных параметр константный. Т.е. если если нет конструктора копий вида ptr(const ptr<T> &p), то вектор мы использовать не можем!

Тут у меня появилась гипотеза. На уровне интуиции.

typedef int *ptr_t;
ptr_t x=new int;
const ptr_t& x1=x1;
ptr_t x2=x1;

VC++ 7.1 это компилирует! для меня это было откровением.
В принципе все понятно. Наш reference константный, но указатель, к которому он относится не константый. Поэтому все теперь работает
А конструктор у меня теперь такой:

ptr(const ptr_t &p):
chain_t(p.value,&p) {
}

Вот так вот.

Интересно, что в реализации STL от P.J. Plauger'а из Visual C++ конструкторы auto_ptr выглядят так:

explicit auto_ptr(
Type* _Ptr = 0
) throw( );
auto_ptr(
auto_ptr<Type>& _Right
) throw( );
auto_ptr(
auto_ptr_ref<Type> _Right
) throw( );
template<class Other>
auto_ptr(
auto_ptr<Other>& _Right
) throw( );

Но самое интересное, что у Страуструпа конструктор такой: auto_ptr(const auto_ptr<T> &)!

manu

Цитата

Код typedef int *ptr_t; ptr_t x=new int; const ptr_t& x1=x1; ptr_t x2=x1; VC++ 7.1 это компилирует! для меня это было откровением.

Не обязательно VC++ 7.1. Другие тоже будут компилировать
Дело в том, что при использовании typedef int *ptr_t; у тебя уже не указатель на константу, а получается константный указатель.

Пару поясняющих примеров и отличий константного указателя и указателя на константу:

Код

// указатель на константу  const int* p;  int i = 111;  p = &i;       // можно  // *p = 123;  // нельзя  //int* p3 = p;  // нельзя    // константный указатель  int i1 = 222;  int* const p1 = &i1;  //p1 = &i;    // нельзя  *p1 = 2323;   // можно  int* p2 = p1; // можно

Еще многие думаю, что:

Код

#define PINT  int*

и

Код

typedef int* PINT;

эквивалентны.
Но как показывает практика - НЕТ

Цитата

Мы же ведь не можем получить не константный указатель из константного.

Вообще-то можем...

Код

const int* cptr = ...; int* ptr = cptr;                                 // ошибка int* ptr = const_cast<int*>(cptr);   // всё путём...