Конструктор - копировщик: ошибка

Error 1 error C2084: function 'cat::cat(void)' already has a body d:\c++ projects\proba\proba\code.cpp 19
Error 2 error C2264: 'cat::cat' : error in function definition or declaration; function not called d:\c++ projects\proba\proba\code.cpp 29
Error 3 error C2556: 'cat f2(cat *)' : overloaded function differs only by return type from 'cat *f2(cat *)' d:\c++ projects\proba\proba\code.cpp 43
Error 4 error C2040: 'f2' : 'cat (cat *)' differs in levels of indirection from 'cat *(cat *)' d:\c++ projects\proba\proba\code.cpp 43

cat::cat(){
cout<<"Cat copy constructor"<<endl;
}

cat f2(cat *thecat){
cout<<"f2 return"<<endl;
return thecat;
}

Кстати в конструкторе копирования аргументом должна быть ссылка на константный объект.

Добавлено через 1 минуту
Кстати в конструкторе копирования аргументом должна быть ссылка на константный объект.

Kastaneda, невсегда) взгляни на auto_ptr

Добавлено через 1 минуту
Кстати в конструкторе копирования аргументом должна быть ссылка на константный объект.

либо константную ссылку на объект const T &, либо изменяемую ссылку на объект volatile T &, либо константную изменяемую ссылку на объект const volatile T &.

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

Ссылки по дефолту константные, из нельзя переопределить.

термин "константная ссылка" является корректным

Ага, является. Но const T & не есть константная ссылка на объект. Это константная ссылка на константный объект, или, если масло масляное исключить, просто ссылка на константный объект.

ISO definition

References are defined by the ISO C++ standard as follows (excluding the example section):

In a declaration T D where D has the form
& D1

and the type of the identifier in the declaration T D1 is “derived-declarator-type-list T,” then the type of the identifier of D is “derived-declarator-type-list reference to T.” Cv-qualified references are ill-formed except when the cv-qualifiers (const and volatile) are introduced through the use of a typedef (7.1.3) or of a template type argument (14.3), in which case the cv-qualifiers are ignored. [Example: in
typedef int& A;
const A aref = 3; // ill-formed;
// non-const reference initialized with rvalue

the type of aref is “reference to int”, not “const reference to int”. ] [Note: a reference can be thought of as a name of an object. ] A declarator that specifies the type “reference to cv void” is ill-formed.

It is unspecified whether or not a reference requires storage (3.7).

There shall be no references to references, no arrays of references, and no pointers to references. The declaration of a reference shall contain an initializer (8.5.3) except when the declaration contains an explicit extern specifier (7.1.1), is a class member (9.2) declaration within a class declaration, or is the declaration of a parameter or a return type (8.3.5); see 3.1. A reference shall be initialized to refer to a valid object or function. [Note: in particular, a null reference cannot exist in a well-defined program, because the only way to create such a reference would be to bind it to the “object” obtained by dereferencing a null pointer, which causes undefined behavior. As described in 9.6, a reference cannot be bound directly to a bitfield. ]

константная ссылка - используется в стандарте!

I encourage you to avoid using the term "const reference" when what you really mean is "reference to const."