Объявление разных типов данных внутри операторов if в зависимости от обстоятельств: как заткнуть компилятор? - PullRequest
Новая
       39

Объявление разных типов данных внутри операторов if в зависимости от обстоятельств: как заткнуть компилятор?

0 голосов
/ 06 августа 2011

Привет, поэтому я делаю функцию сериализации, которая принимает указатель базового класса 'Joint', извлекает 'type' объединенного потомка, и затем хочет создать экземпляр правильного типа 'определения' в зависимости от типа «соединения», на который действительно указывает указатель.

  • Однако я все еще получаю ошибки об объединении базового класса, не содержащие функции, которые есть у потомка класса, хотя я static_cast указатель на правильный тип. Как мне сделать Complier понимают, что указатель приведен слишком новый тип, который делает есть функция?

  • Я также получаю сообщения об ошибках typedef, которые могут отличаться основанный на том, что 'тип' совместное *, с компиляцией, говоря, что это не определено. Как мне сказать компилятору, что, несмотря ни на что, одно из утверждений if будет истинным? (Jointdef объявлен внутри if заявления)

Вот источник: 

template<class Archive>
b2Joint* const preSave(Archive & ar, b2Joint* Joint) 
{
    int Type = Joint->GetType();
    ar & Type; // pulled out first so we know what kind of JointDef to instantiate

    if(Type == b2JointType::e_distanceJoint){
        b2DistanceJointDef JointDef;
        static_cast<b2DistanceJoint *>(Joint);
            JointDef.localAnchorA=      Joint->GetAnchorA();
            JointDef.localAnchorB=      Joint->GetAnchorB();
            JointDef.length=            Joint->GetLength();
            JointDef.frequencyHz=       Joint->GetFrequency();
    }
    if(Type == b2JointType::e_weldJoint){
        b2WeldJointDef JointDef;
        static_cast<b2WeldJoint *>(Joint);
            JointDef.localAnchorA=      Joint->GetAnchorA();
            JointDef.localAnchorB=      Joint->GetAnchorB();
            JointDef.referenceAngle=    Joint->GetReferenceAngle();     // function added
    }
    if(Type == b2JointType::e_gearJoint){ //TODO / NOTE: this must be loaded last since to be linked joints must first be made
        b2GearJointDef JointDef;          //             unless joints are in order of when they were created.......
        static_cast<b2GearJoint *>(Joint);
            JointDef.joint1=                Joint->GetJoint1;           //function added
            JointDef.joint2=                Joint->GetJoint2;           //function added
            JointDef.ratio=                 Joint->GetRatio();
    }
    if(Type == b2JointType::e_lineJoint){
        b2LineJointDef JointDef;
        static_cast<b2LineJoint *>(Joint);
            JointDef.localAnchorA=      Joint->GetAnchorA();
            JointDef.localAnchorB=      Joint->GetAnchorB();
            JointDef.enableLimit;       Joint->IsLimitEnabled();
            JointDef.localAxisA=        Joint->GetLocalAxisA()          //function made
            JointDef.lowerTranslation=  Joint->GetLowerLimit();
            JointDef.upperTranslation=  Joint->GetUpperLimit();
            JointDef.enableMotor=       Joint->IsMotorEnabled();
            JointDef.maxMotorForce=     Joint->GetMaxMotorForce();
            JointDef.motorSpeed=        Joint->GetMotorSpeed();
    }

    if(Type == b2JointType::e_mouseJoint){
        b2MouseJointDef JointDef;
        static_cast<b2MouseJoint *>(Joint);
            JointDef.target=            Joint->GetTarget();
            JointDef.maxForce=          Joint->GetMaxForce();
            JointDef.frequencyHz=       Joint->GetFrequency();
            JointDef.dampingRatio=      Joint->GetDampingRatio();
    }
    if(Type == b2JointType::e_prismaticJoint){
        b2PrismaticJointDef JointDef;
        static_cast<b2PrismaticJoint *>(Joint);
            JointDef.localAnchorA=      Joint->GetAnchorA();
            JointDef.localAnchorB=      Joint->GetAnchorB();
            JointDef.enableLimit;       Joint->IsLimitEnabled();
            JointDef.referenceAngle=    Joint->GetReferenceAngle();     //added function
            JointDef.localAxis1=        Joint->GetLocalAxis1();         //added function
            JointDef.maxMotorForce=     Joint->GetMaxMotorForce();      //added function
            JointDef.lowerTranslation=  Joint->GetLowerLimit();
            JointDef.upperTranslation=  Joint->GetUpperLimit();
            JointDef.enableMotor=       Joint->IsMotorEnabled();
            JointDef.motorSpeed=        Joint->GetMotorSpeed();
    }
    if(Type == b2JointType::e_pulleyJoint){
        b2PulleyJointDef JointDef;
        static_cast<b2PulleyJoint *>(Joint);
            JointDef.localAnchorA=      Joint->GetAnchorA();
            JointDef.localAnchorB=      Joint->GetAnchorB();
            JointDef.groundAnchorA=     Joint->GetGroundAnchorA();
            JointDef.groundAnchorB=     Joint->GetGroundAnchorB();
            JointDef.lengthA=           Joint->GetLength1();
            JointDef.lengthB=           Joint->GetLength2();
            JointDef.maxLengthA=        Joint->GetMaxPulleyLengthA(); //added function
            JointDef.maxLengthB=        Joint->GetMaxPulleyLengthB(); //added function
            JointDef.ratio=             Joint->GetRatio();
    }
    if(Type == b2JointType::e_revoluteJoint){
        b2RevoluteJointDef JointDef;
        static_cast<b2RevoluteJoint *>(Joint);
            JointDef.localAnchorA=      Joint->GetAnchorA();
            JointDef.localAnchorB=      Joint->GetAnchorB();
            JointDef.enableLimit;       Joint->IsLimitEnabled();
            JointDef.enableMotor=       Joint->IsMotorEnabled();
            JointDef.motorSpeed=        Joint->GetMotorSpeed();
            JointDef.maxMotorTorque=    Joint->GetMaxMotorTorque()  //added function
            JointDef.referenceAngle     Joint->GetReferenceAngle()  //added function
            JointDef.lowerAngle=        Joint->GetLowerLimit();
            JointDef.upperAngle=        Joint->GetUpperLimit();
    }
    else{ b2JointDef

    //if(Type == b2JointType::e_frictionJoint){         QUESTION: what is this... not in box2d guide...
    // base class JointDef data:
    JointDef.type=              Joint->GetType();
    JointDef.userData=          Joint->GetUserData();
    JointDef.bodyA=             Joint->GetBodyA();
    JointDef.bodyB=             Joint->GetBodyB();
    JointDef.collideConnected=  Joint->IsCollideConnected();        //added function

    ar & JointDef;
    return Joint;
}

1 Ответ

5 голосов
/ 06 августа 2011

Ваше использование static_cast является проблемой. static_cast не переопределяет тип переменной: вместо этого он возвращает значение, приведенное к типу, который вы запрашивали. 

Type* variable = static_cast<Type*>(variableToCast);

Кроме того, если ваши классы используют полиморфизм, рассмотрите возможность использования dynamic_cast, который использует (не очень мощную) информационную систему времени выполнения типа C ++. 

if (b2DistanceJointDef* def = dynamic_cast<b2JointTypeDef*>(Joint))
{
    // if you reach this block, this means Joint is actually a pointer to
    // a b2JointTypeDef object; and you may use the `def` variable to access
    // its members
}

Еще лучше, если вам нравятся подобные вещи, и если это имеет смысл в вашем дизайне, вы можете рассмотреть полиморфный метод устранения этого переключения типов. Существует широкая дискуссия о том, почему лучше на этом сайте и почти везде избегать явных переключений типов.

Для оператора typedef необходимо различать информацию времени компиляции и информацию времени выполнения. C ++ является статически типизированным языком: это означает, что необходимо , чтобы знать все о типе переменной на этапе компиляции. Определение типа не может изменяться в зависимости от условий выполнения: его необходимо разрешить на этапе компиляции.

Кроме того, символы (в основном, все, что имеет идентификатор, является символом) не могут использоваться вне их области видимости. Поэтому, если вы объявите что-либо в блоке if, вы не сможете получить к нему доступ снаружи этого блока if.

Поскольку typedef s делает символы, используя typedef внутри области действия, делает определенный тип доступным до конца области, и не далее. Например: 

if (foo)
{
    typedef int myInt;
    myInt var = 4; // works
}
myInt baz = 4; // fails
...