Amin'sTechLab

💻 یکی از قوانین کمتر شناخته‌شده اما بسیار مهم در زبان C: Strict Aliasing Rule یکی از رایج‌ترین اشتباهاتی که حتی برنامه‌نویس‌های باتجربه C مرتکب می‌شوند، تبدیل مستقیم یک اشاره‌گر به نوعی دیگر و دسترسی به داده از طریق آن است. برای مثال:

#include <stdio.h>

int main() {
    float f = 3.14f;

    int *p = (int *)&f;

    printf("%x\n", *p);

    return 0;
}

در نگاه اول شاید تصور کنیم فقط داریم بیت‌های متغیر float را به صورت یک عدد صحیح مشاهده می‌کنیم. اما مشکل اینجاست که طبق استاندارد زبان C، یک شیء باید معمولاً فقط از طریق اشاره‌گری از همان نوع خودش (یا چند استثنای مشخص) خوانده یا نوشته شود. به این قانون می‌گویند: Strict Aliasing Rule کامپایلرها هنگام فعال بودن Optimization فرض می‌کنند که اشاره‌گرهای با نوع‌های متفاوت، هرگز به یک محل از حافظه اشاره نمی‌کنند. به همین دلیل ممکن است کامپایلر کدی تولید کند که اصلاً انتظارش را ندارید. مثلاً این کد را ببینید:

int foo(float *f, int *i)
{
    *f = 0.0f;
    *i = 42;

    return *f == 0.0f;
}

اگر f و i در واقع به یک آدرس اشاره کنند (با Cast کردن)، ممکن است انتظار داشته باشید نتیجه تابع تغییر کند. اما کامپایلر مجاز است فرض کند این دو اشاره‌گر هرگز به یک داده اشاره نمی‌کنند و بر همین اساس کد را بهینه کند. در نتیجه، خروجی برنامه می‌تواند کاملاً با انتظار شما متفاوت باشد. نکته جالب اینجاست که ممکن است برنامه:

gcc main.c

کاملاً درست کار کند. اما فقط با فعال کردن Optimization:

gcc main.c -O2

رفتار برنامه تغییر کند. دلیلش این نیست که Optimization خراب است؛ بلکه برنامه از ابتدا قوانین استاندارد C را نقض کرده است. اگر هدفتان مشاهده بیت‌های یک متغیر است، روش صحیح استفاده از memcpy است:

#include <string.h>

float f = 3.14f;
int bits;

memcpy(&bits, &f, sizeof(bits));

یا در صورت نیاز، از unsigned char * برای دسترسی سطح بایت استفاده کنید؛ زیرا استاندارد C این مورد را مجاز می‌داند. چرا این قانون وجود دارد؟ کامپایلر با دانستن اینکه انواع مختلف روی یک حافظه قرار ندارند، می‌تواند: داده‌ها را داخل Register نگه دارد. دسترسی‌های غیرضروری به حافظه را حذف کند. کد بسیار سریع‌تری تولید کند. به همین دلیل است که نقض این قانون معمولاً فقط هنگام Optimization خودش را نشان می‌دهد. در زبان C، هر Castی مجاز نیست؛ گاهی یک Cast ساده می‌تواند باعث شود کامپایلر فرض‌هایی انجام دهد که نتیجه برنامه را کاملاً تغییر دهد. پس اگر برنامه‌ای بدون Optimization درست کار می‌کند اما با -O2 رفتار عجیبی پیدا می‌کند، یکی از اولین چیزهایی که باید بررسی کنید، نقض Strict Aliasing Rule است. ⚠️ @Amin_TechLab