[C++] Object wordt functie definitie?

[Mijzelf]

Ik heb de volgende class definitie

C++:

class A
{
public:
    class B
    {
    public:
        B(){}
    };

    A( const B & );
    A();
    const A &operator=( const A & );
};

En deze code:

C++:

A a1( A::B() );
A a2;
a2 = a1;
a1 = a2;

In Visual Studio 6 compileert dit zonder problemen, en de juiste constructors worden ook aangeroepen.
In Vision Studio 2010 krijg ik de volgende fouten:

code:

a2=a1;
error C2679: binary '=' : no operator found which takes a right-hand operand of type 'A (__cdecl *)(A::B (__cdecl *)(void))' (or there is no acceptable conversion)
          could be 'const A &A::operator =(const A &)'
          while trying to match the argument list '(A, A (__cdecl *)(A::B (__cdecl *)(void)))'
a1=a2;
error C2659: '=' : function as left operand

Wat gebeurt hier?

[MSalters]

Simpel: je definieert a1 als een functie met 1 argument A::B (*ptrFun)( ) en return type A.

Je bedoelde waarschijnlijk A a1 = A::B();

[.oisyn]

Wat MSalters zegt. Helaas kunnen in sommige gevallen functiedeclaraties en objectdefinities ambigu zijn - in zo'n geval heeft de betekenis als declaratie voorrang. Iets als

C++:

int i();

is dus geen default constructed int genaamd i, maar een functie genaamd i die een int returnt.
Trekken we dat door:

C++:

int i(int());

Dit is eveneens geen int i die gecopyconstruct wordt van een default constructed int, maar een functie genaamd i die een int returnt en een pointer verwacht naar een functie die een int returnt.

Deze laatste is vergelijkbaar met jouw A a1( A::B() );

MSalters schreef op vrijdag 22 juni 2012 @ 13:22:
Je bedoelde waarschijnlijk A a1 = A::B();

Het is dan wel weer jammer dat de copy ctor daarvoor accessible moet zijn (wat het in dit geval ook is)

[ Voor 17% gewijzigd door .oisyn op 22-06-2012 14:58 ]

[Mijzelf]

Hoe moeilijk kun je het maken? Inderdaad compileert 'A a1 = A::B();' wel gewoon.

En logischerwijs A a1( A::B( 1 ) ); ook. (Na aanpassen van de A::B() constructor.)

Bedankt.

[.oisyn]

Zoiets kan ook:

C++:

template<class T> const T & identity(const T & t) { return t; }

A a(identity(A::B()));