cli C++ valeur statique drôle dans l'emballage

Question

//CCodeWrapperIF.h 
public ref class CCodeWrapperIF 
{ 
public: 
    CCodeWrapperIF// Default constructor 

public: 

    static UINT8 funny; 

    void foo(void); 

} 


//CCodeWrapperIF.cpp 
extern "C" 
{ 
#include "CCodeWrapperIF.h" 
} 

[DllImport("CCode.DLL", CallingConvention = CallingConvention::Cdecl)] 
extern "C" void CCode_Foo(void); 

CCodeWrapperIF::CCodeWrapperIF(void) 
{ 

} 

CCodeWrapperIF::foo(void) 
{ 
    CCode_Foo(); 
} 



//a.h 
public ref class A 
{ 
private: static CCodeWrapperIF^ CCode_IFObject; 
A(void) 
{ 
    CCode_IFObject=gcnew CCodeWrapperIF(); 
} 

} 

//b.h 


public ref class B 
{ 
    private: static CCodeWrapperIF^ CCode_IFObject; 

    B(void) 
    { 

    } 
} 


//main.h 
int main(cli::array<System::String ^> ^args) 
{ 
    A^ aObj=gcnew A(); 
    B^ bObj=gcnew B(); 

    // Funny thing is : bObj->CCode_IFObject->funny has correct value always! 
    // while if you watch the value of bObj->CCode_IFObject acturally it is not defined!! 
} 

quelqu'un peut-il expliquer cela?

Answer 1

Les membres statiques n'ont pas besoin d'instance.

bObj->CCode_IFObject->funny est converti au moment de la compilation pour se référer directement à CCodeWrapperIF::funny.

EDIT: Ajout d'un texte pertinent de la norme, section accès aux membres de classe[expr.ref], libellé du C++ 0x FCD

Si E2 est déclaré avoir le type « référence à T », puis E1 .E2 est une lvalue; le type de E1.E2 est T. Sinon, l'une des règles suivantes s'applique. - Si E2 est un membre de données statiques et que le type de E2 est T, alors E1.E2 est une lvalue; l'expression désigne le membre nommé de la classe. Le type de E1.E2 est T.

- Si E2 est un membre de données non statique ... l'expression désigne le membre nommé de l'objet désigné par la première expression.

...

Comme vous pouvez le voir, pour les membres non statiques « l'objet délégué par la première expression » doit être valide. Mais les membres statiques peuvent être identifiés par la notation par points tout comme les membres non statiques, et la première expression ne doit pas nécessairement être n'importe quel objet, seule la classe compte.