неназначенное поле в явном строчном макете

Question

Я хочу создать тест C# sqrt, но некоторые функции sqrt требуют объединения для побитового вычисления.

Мой союз определяется как это:

[StructLayout(LayoutKind.Explicit)] 
struct U 
{ 
    [FieldOffset(0)] 
    public int i; 
    [FieldOffset(0)] 
    public float x; 
} 

и следующий код выдает незадействованную ошибку поля на u.i:

U u; 
u.x = x; 
u.i = (1 << 29) + (u.i >> 1) - (1 << 22); 

Я знаю, пользовательский интерфейс был назначен, когда УБ также назначается, так это можно игнорировать непризнанную ошибку поля во время компиляции без явного назначения u.i?

Answer 1

FieldOffset - это функция взаимодействия, а не то, что должно повлиять на управляемый код. Нет гарантии (или требования), чтобы фактическая компоновка структуры на управляемой стороне заложила i по той же памяти, что и x. Макет, в котором есть два полностью отдельных поля, будет абсолютно корректным, если он перемещается в одно и то же место памяти при выполнении взаимодействия. Тот факт, что ваша среда выполнения на вашем компьютере, в частности, делает, перекрывает два поля, на что вы не должны полагаться, и это только оптимизация производительности, деталь реализации.

Если вы хотите выполнять неуправляемые операции, подобные этому, используйте небезопасный код. Вот для чего это. Не злоупотребляйте функциями взаимодействия. И, конечно же, не ожидайте, что он будет портативным.

float x = 42.0f; 

(*(int*)((void*)&x)) // The value of `x` reinterpreted as an int 

Полный пример вашего приближения может выглядеть квадратный корень что-то вроде этого:

unsafe void Main() 
{ 
    sqrt(42).Dump(); // 6.625 
    sqrt(9).Dump(); // 3.125 
} 

unsafe float sqrt(float x) 
{ 
    int* pX = (int*)((void*)&x); 

    *pX = (1 << 29) + (*pX >> 1) - (1 << 22); 

    return x; 
}