سؤال: هل المترجم ذكي أم يجب علي أن أتذاكى عليه ؟

هذا يعتمد على حسب المترجم

مترجمات سي++ تقوم بذلك بلا شك (ويمكن ان نرجع لل Generated Code بعد الترجمة للتأكد).

بالنسبة لسي# قمت الان بالنظر لل Intermediate Language (الكود الوسيط) ولا توجد اي Optimization للكود التالي:

int scale = 1;
int a = 4 * scale;

الكود الوسيط يخرج كهذا:

IL_0000:  nop         
IL_0001:  ldc.i4.1    
IL_0002:  stloc.0     // scale
IL_0003:  ldc.i4.4    
IL_0004:  ldloc.0     // scale
IL_0005:  mul         
IL_0006:  stloc.1     // a
IL_0007:  ret      

لاحظ وجود الضرب بعد رفع الرقمين للستاك،

لكن في حالة كان المتغير constant فالأمر يتغير

const int scale = 1;
int a = 4 * scale;

الكود المولد يتجاهل الرقم ولا يقوم بعملية الضرب:

IL_0000:  nop         
IL_0001:  ldc.i4.4    
IL_0002:  stloc.0     // a
IL_0003:  ret         

اعتقد ان هناك فرصه لل Optimization (للحالة الأولى بدون الثابت) عندما يعمل ال JIT وقت العمل Execution Time، ربما المترجم لم يقدر ولكن ال JIT أعتقد أنه سوف يقوم بها.

• لمن هو مهتم فالCIL Output حصلت عليه من خلال كتابة الكود على ال LINQPad ، طبعاً هناك طرق اخرى ولكن هذه اسهل طريقة بدون فتح ال VS.

لا أتكلم الـ #C. لكن في C و CPP نعم الـ Compiler يمكن أن يحسن الناتج كثيرا باستراتيجيات متعددة، و بدون تحسيناته لما كانت الأنظمة و البرامج و الألعاب سريعة هكذا، يمكن كذلك أن يحسن الأمان و الحجم الناتج.

دليل خيارات GCC للتحسين:

في حالتك هناك احتمال كبير بأن يضع الـ Compiler الناتج مباشرة.

تجربة صغيرة مع C و gcc:

• كود البرنامج بـ C:

• أسمبلي البرنامج بدون تحسين (O0):

• أسمبلي البرنامج مع تحسين السرعة (الخيار O3):

الناتج النهائي للبرنامج يكون 800.

لاحظ الأسمبلي الغير محسنة و الأرقام في البرنامج، البرنامج يحسب، مثل:

-L14

أما الأسمبلي المحسنة الـ Compiler حسب الناتج و وضع النتيجة مباشرة مثل:

-L26

ضمن تعليمة شرطية بحيث إن كان المعامل واحد أضع القيمة في النتيجة مباشرة وأختزل عملية الضرب بمتحول المعامل

الا تعتقد ان عملية المقارنة تستهلك زمناً اكثر من عملية الضرب ؟

ﻻ زلت مبتدأ، ولكن في لغة سي، الFunctions تسهل الأمر بشكل كبير!

أقرأ عنها.