Когда я могу нарушать правила псевдонимов?

Question

Я получаю это предупреждение. Я хотел бы определить поведение, но я хотел бы сохранить этот код таким, какой он есть. Когда я могу нарушить правила псевдонимов?

предупреждение: разыменования типа каламбурил указатель будет нарушать правила строгого сглаживания [-Wstrict-алиасы]

Строка моя собственная строка, которая является POD. Этот код вызывается из C. S может быть int. Строка в значительной степени struct String { RealString*s; }, но шаблонные и вспомогательные функции. Я делаю статическое утверждение, чтобы убедиться, что String является модулем, составляет 4 байта, а int - 4 байта. Я также написал утверждение, которое проверяет, есть ли все указатели> = NotAPtr. Его в моей новой перегрузке/malloc. Я могу поставить это утверждение в String, если вы предложите

Учитывая правила, за которыми я следую (в основном эта строка является контейнером и всегда того же размера, что и int) было бы замечательно, если бы я нарушил правила псевдонимов? Разве это один из немногих раз, когда один нарушает это правильно?

void func(String s) { 
    auto v=*(unsigned int*)&s; 
    myassert(v); 
    if(v < NotAPtr) { 
     //v is an int 
    } 
    else{ 
     //v is a ptr 
    } 
} 

Answer 1

Безопасный способ обработки переменной как двух разных типов - превратить ее в союз. Одной частью объединения может быть ваш указатель, а другая часть - целое число.

struct String 
{ 
    union 
    { 
     RealString*s; 
     int i; 
    }; 
}; 

Answer 2

Если вы не можете изменить код для 2 функций в соответствии с предложением, почему нет (требует C99 компилятора, как использует uintptr_t - для старшего MSVC вам нужно определить его самостоятельно, 2008/2010 должен быть в порядке):

void f(RealString *s) { 
    uintptr_t int = reinterpret_cast<uintptr_t>(s); 
    assert(int); 
} 

Answer 3

memcpy полностью поддерживается. Так наносит штраф char* (например, вы можете использовать std::copy).