C++ как определить оператор приведения, который не копирует данные?

Question

хорошо - может быть, это глупый вопрос, и гипсовые операторы делают это уже по своей сути ..

Что у меня есть:

• некоторое внешнее определение класса 4х4 Matrix

• некоторый собственный 4x4 Матричный класс

оба класса в промежутке просто хранят поплавок [16];

я хотел бы определить в своем классе Matrix оператор произнесения, так что я могу сделать что-то вроде:

MyMatrix4x4 m; 
OtherMatrix4x4(m).someFunctionDefinedInOtherMatrix4x4(); 
SomeFunctionThatTakesOtherMatrix4x4(OtherMatrix4x4(m)); 

И я не хочу этого оператора, чтобы скопировать все данные - функции должны просто работать на том же поплавке [16] данные

Как это сделать?

Answer 1

OtherMatrix4x4(m) 

Это не оператор литая, это конструкторпреобразования.

Предположим следующее определение MyMatrix4x4:

struct MyMatrix4x4 
{ 
    float x[16]; 
}; 

следующие должны делать это:

struct OtherMatrix4x4 
{ 
    float* x; 
    OtherMatrix4x4(MyMatrix4x4& other) 
    { 
     x = other.x; 
    } 
    void foo() 
    { 
     x[0] = 0; 
    } 
}; 

Для теста:

MyMatrix4x4 a = {{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15}}; 
OtherMatrix4x4(a).foo(); 
cout << b.x[0]; //will output 0, not 1 

EDIT Вот вариант, где вас Не могу изменить другую матрицу:

struct OtherMatrix4x4 
{ 
    float x[16]; 
    void foo() 
    { 
     x[0] = 0; 
    } 
}; 

struct MyMatrix4x4 
{ 
    float* x; 
    operator OtherMatrix4x4() 
    { 
     OtherMatrix4x4 other; 
     x = other.x; 
     return other; 
    } 
}; 

MyMatrix4x4 m; 
OtherMatrix4x4(m).foo(); 

Answer 2

И я не хочу, чтобы этот оператор копировать любые данные - функции должны просто работать на том же поплавка [16] данных

Я не хочу создавать какие-либо данные на куча. хотите, чтобы это работало со значениями в стеке, - а также для конвояции я хотел бы иметь оператора литья

Ну, этого не произойдет. Правила псевдонимов C++ в значительной степени запрещают это.

Вы можете использовать указатели-указатели, чтобы делать «притворяться, что это что-то другое», но вы не можете использовать приведение объектов для этого. Вы можете наложить указатель на объект стека указателем на ваш тип объекта:

MyMatrix4x4 m; 
OtherMatrix4x4 * o = (OtherMatrix4x4 *) &m; 

Однако есть две проблемы. Во-первых, o продлится до тех пор, пока m делает. Это не объект; это указатель на другой объект. Во-вторых, это (вообще) неопределенное поведение (частично из-за нарушения псевдонимов: два несвязанных типа перекрываются). О, скорее всего, это сработает. Но вы находитесь на карте, насколько это гарантирует C++.

Это запах преждевременной оптимизации. Вы действительно думаете, что копирование 16 поплавков - , что большая проблема с производительностью? Если да, то почему бы просто не использовать OtherMatrix4x4 в вашем коде вместо MyMatrix4x4?

Answer 3

Просто чтобы представить другое решение, представляющее наследование. Это позволит использовать код, который вы разместили выше. Однако это не оператор трансляции.

class MyMatrix4x4 { 
public: 
    float f; 
}; 

class OtherMatrix4x4 : MyMatrix4x4 { 
public: 
    OtherMatrix4x4(MyMatrix4x4 &matrix) 
    { 
     f = matrix.f; 
    } 

    void someFunctionDefinedInOtherMatrix4x4(); 
};