أنواع البيانات في لغة سي عبارة عن إعلانات لعنواين الذاكرة، أو المتغيرات، التي تحدد خصائص البيانات التي يمكن تخزينها وأساليب (العمليات) للمعالجة المسموح بها.

توفر لغة C أنواع حسابية أساسية، مثل أنواع الأعداد الصحيحة، والأعداد الرقمية، وبناء جمل اللغة لبناء أنواع المصفوفات والمركبات. يوجد العديد من الرؤوس (ترويسة (حوسبة)) في مكتبة سي المعيارية التي تحتوي على تعريفات للأنواع المدعومة، التي لها خصائص إضافية، مثل توفير مساحة تخزين ذات حجم دقيق، مستقلة عن التنفيذ.^[1][2]

توفر لغة السي أربعة أنواع أساسية من أنواع البيانات char الخاص برمز واحد و int الخاص بالأرقام الصحيحة و float الخاص بالأرقام العشرية و double الخاص بالأرقام العشرية الكبيرة، ومعدلات موقعة signed وغير موقعة unsigned وقصيرة (short) وطويلة (long). يسرد الجدول التالي المجموعات المسموح بها لتحديد مجموعة كبيرة من الإعلانات الخاصة بحجم التخزين.

يختلف الحجم الفعلي لأنواع الأعداد الصحيحة باختلاف التنفيذ. يتطلب المعيار فقط علاقات حجم بين أنواع البيانات والحد الأدنى من الأحجام لكل نوع من البيانات:

متطلبات العلاقة هي أن «طويلة طويلة» long long ليست أصغر من «طويلة» long ، وهي ليست أصغر من «الأعداد الصحيحة» int ، وهي ليست أصغر من «قصيرة» short . نظرًا لأن حجم char «الرمز» هو دومًا الحد الأدنى من نوع البيانات المدعومة، فلا يمكن أن تكون أي أنواع بيانات أخرى (باستثناء حقول البتات) أصغر.

الحد الأدنى لحجم char هو 8 بت، الحد الأدنى لحجم short والint هو 16 بت، "long" هو 32 بت و "long long" يجب أن تحتوي على 64 بت على الأقل.

يجب أن يكون النوع int هو النوع الصحيح الذي يعمل به المعالج بشكل أكثر كفاءة. يتيح ذلك مرونة كبيرة: على سبيل المثال، يمكن أن تكون جميع الأنواع 64 بت. ومع ذلك، هناك العديد من أنظمة عرض عدد صحيح مختلفة (طرازات البيانات) شائعة. لأن نموذج البيانات يحدد كيفية توصيل البرامج المختلفة، يتم استخدام نموذج بيانات موحد داخل واجهة تطبيق نظام التشغيل.

عملياً، char عادةً ثمانية بت في الحجم و short عادةً 16 بت في الحجم (كما هي نظائرها غير الموقعة). ينطبق هذا على المنصات المتنوعة مثل التسعينات SunOS 4 Unix و Microsoft MS-DOS وLinux الحديثة و Microchip MCC18 للميكروكونترولر 8 بت. و POSIX يتطلب char أن يكون حجمها ثمانية بتات.

إن القواعد المختلفة في المعيار C تجعل "char" غير الموقّع هو النوع الأساسي المستخدم في المصفوفات المناسبة لتخزين الأشياء "non-bit-field" التعسفية: افتقارها إلى بتات الحشو وتوضيحات المصائد، وتعريف تمثيل الكائن إمكانية التعرج.

يختلف الحجم الفعلي وسلوك أنواع "floating-point" أيضًا حسب التطبيق. الضمان الوحيد هو أن "long double" ليس أصغر من "double"، وهو ليس أصغر من "float". عادة، يتم استخدام تنسيقات النقطة العائمة الثنائية 32 بت و 64 بت IEEE 754، إذا كانت مدعومة من قبل الأجهزة.

يتضمن معيار C99 أنواع float_t و double_t حقيقية جديدة "floating-point"، ويتم تعريفها في البداية في العنوان<math.h> . وهي تتوافق مع الأنواع المستخدمة للنتائج الوسيطة للتعبيرات ذات النقطة العائمة عندما تكون FLT_EVAL_METHOD هي 0 أو 1 أو 2. وقد تكون هذه الأنواع أوسع من مزدوجة طويلة.

وأضاف C99 أيضا أنواع معقدة: float _Complex، double _Complex، long double _Complex.

أضاف الC99 نوع Bool وهو عبارة عن ال (صحيح / خطأ) boolean . بالإضافة إلى ذلك، يعرّف العنوان الجديد <stdbool.h> ال Bool كاسم مستعار مناسب لهذا النوع كما يوفر وحدات الماكرو لـ true و false. وظائف ال Bool مماثلة لنوع متكامل عادي، مع استثناء واحد: يتم تخزين أي بيان إلى _Bool التي ليست 0 (خطأ) ك 1 (صحيح). يوجد هذا السلوك لتجنب طفح عدد صحيح (integer overflows) في تضييق التحويلات الضمنية. على سبيل المثال، في التعليمة البرمجية (code) التالية:

unsigned char b = 256;

if (b) {
   /* do something */
}

قيمة الb ستساوي صفر/خطأ (false) في حالة أن يكونunsigned char في نطاق ال8بت.. ويرجع السبب في ذلك إلى عدم احتواء نوع البيان ال 256، مما يؤدي إلى استخدام 8 بتات أقل منه، مما ينتج عنه قيمة صفرية. ومع ذلك، يؤدي تغيير نوع التعليمات البرمجية (code) السابقة إلى التصرف بشكل طبيعي

_Bool b = 256;

if (b) {
   /* do something */
}

مواصفات لغة الC بالأضافة الي typedefs (كلمة تستخدم لتكون اسم مستعار لنوع بيان جديد) size_t وptrdiff_t لتمثيل الكميات المتعلقة بالذاكرة. يتم تعريف حجمها وفقا للقدرات الحسابية لمعالج الهدف لا قدرات الذاكرة، مثل مساحة العنوان المتوفرة. كل من هذه الأنواع محددة في العنوان <stddef.h> (في السي++ cstddef).

size_t هو نوع صحيح غير موقعة يستخدم لتمثيل حجم أي كائن (بما في ذلك المصفوفات) في تنفيذ معين. sizeof المشغل ينتج قيمة من نوع size_t . الحجم الأكبر لsize_t بنتج من خلال SIZE_MAX

ثابت المايكرو الذي تم تعريفه في العنوان <stdint.h> .

size_t يضمن أن يكون على الأقل على نطاق 16 بايت. بالأضافة POSIX يحتوي ssize_t، وهو نوع متكامل موقّع بنفس عرضه ك size_t.

ptrdiff_t نوع متكامل موقَّع يُستخدم لتمثيل الفرق بين المؤشرات. فقط يضمن أن تكون صالحة ضد المؤشرات التي من نفس النوع. مسح المؤشرات التي تتكون من أنواع مختلفة هو تعريف التنفيذ.

يتم توفير معلومات حول الخصائص الفعلية، مثل الحجم، من الأنواع الحسابية الأساسية، عبر الثوابت الكلية في رأسين: <limits.h> المسؤل عن تعريف الmacros للأرقام الصحيحة و <float.h> المسؤل عن تعريف الmacros لأنواع floating-point . القيم الحقيقية تعتمد علي التنفيذ الحقيقي.

خصائص نوع الرقم الصحيح (int)

• CHAR_BIT حجم نوع الchar (على الأقل 8 بت)
• SCHAR_MIN، SHRT_MIN، INT_MIN، LONG_MIN، LLONG_MIN أدنى قيمة ممكنة للأنواع الصحيحة الموقعة: signed char، signed short، signed int، signed long، signed long long .
• SCHAR_MAX، SHRT_MAX، INT_MAX، LONG_MAX، LLONG_MAX أقصى قيمة ممكنة للأنواع الصحيحة الموقعة: signed char، signed short، signed int، signed long، signed long long.
• UCHAR_MAX، USHRT_MAX، UINT_MAX، ULONG_MAX، ULLONG_MAX أقصى قيمة ممكنة لأنواع الأعداد الصحيحة غير الموقعة: unsigned char، unsigned short، unsigned int، unsigned long، unsigned long long.
• CHAR_MIN الحد الأدنى لقيمة char.
• CHAR_MAX الحد الأقصي لقيمة char
• MB_LEN_MAX الحد الأقصى لعدد وحدات البايت في رمز multibyte.

خصائص أنواع الfloating-point

• FLT_MIN، DBL_MIN، LDBL_MIN – الحد الأدنى للقيمة الموجبة ل float و الdouble وال long double على التوالي.
• FLT_TRUE_MIN، DBL_TRUE_MIN، LDBL_TRUE_MIN – الحد الأقصي للقيمة الموجبة ل float و الdouble وال long double على التوالي.
• FLT_MAX، DBL_MAX، LDBL_MAX – الحد الأقصي للقيمة المحددة ل float و الdouble وال long double على التوالي.
• FLT_ROUNDS – وضع التقريب لعمليات الfloating-point.
• FLT_EVAL_METHOD– طريقة تقييم التعبيرات التي تشمل أنواع ال floating-point المختلفة
• FLT_RADIX – قاعدة الأس في أنواع ال floating-point.
• FLT_DIG، DBL_DIG، LDBL_DIG – عدد من الأرقام العشرية التي يمكن تمثيلها دون فقدان الدقة عن طريق ال float ، وال double وال long double على التوالي.
• FLT_EPSILON، DBL_EPSILON، LDBL_EPSILON – الفرق بين 1.0 والقيمة القابلة للتضمين التالية من ال float ، وال double وال long double على التوالي.
• FLT_MANT_DIG، DBL_MANT_DIG، LDBL_MANT_DIG – عدد "FLT_RADIX-base digits" في النقطة floating-point وأنواع ال float ، وال double وال long double على التوالي.
• FLT_MIN_EXP، DBL_MIN_EXP، LDBL_MIN_EXP – أقل عدد صحيح سالب بحيث تكون FLT_RADIX مرفوعة إلى أس أقل من ذلك العدد ليجعله من الأعداد الطبيعية ال float ، وال double وال long double على التوالي.
• FLT_MIN_10_EXP، DBL_MIN_10_EXP، LDBL_MIN_10_EXP – الحد الأدني الصحيح السالب بحيث 10 ترفع الي الأس لجعله من الأعداد الطبيعية من ال float ، وال double وال long double على التوالي.
• FLT_MAX_EXP، DBL_MAX_EXP، LDBL_MAX_EXP – أقصي عدد صحيح موجب مثل FLT_RADIX مرفوع الي أس أقل من ذلك العدد ليجعله من الأعداد الطبيعية ال float وال double وال long double على التوالي .
• FLT_MAX_10_EXP، DBL_MAX_10_EXP، LDBL_MAX_10_EXP – أقصي عدد صحيح موجب بحيث 10 ترفع الي الأس لجعله من الأعداد الطبيعية من ال float ، وال double وال long double على التوالي.
• DECIMAL_DIG (C99) – أقل عدد ممكن من الأرقام العشرية بحيث أي عدد من أنواع الfloating-point المدعومة على نطاق واسع يمكن تمثيله علي هيئة رقم عشري في دقه حروف DECIMAL_DIG ويقرأ مرة اخري في نوع الfloating-point الأصلي بدون تغير قيمته الأصلية . وDECIMAL_DIG على الأقل يكون 10.

يتضمن معيار C99 تعريفات لعدة أنواع جديدة جديدة لتعزيز إمكانية نقل البرامج.^[2] تعتبر الأنواع الصحيحة الأساسية المتاحة بالفعل غير كافية، لأن أحجامها الفعلية محددة بالتطبيق وقد تختلف باختلاف الأنظمة المختلفة. تعتبر الأنواع الجديدة مفيدة بشكل خاص في البيئات المضمنة حيث لا يدعم الجهاز عادة سوى عدة أنواع، ويتنوع الدعم بين بيئات مختلفة. جميع الأنواع الجديدة يتم تعريفها في العنوان <inttypes.h> ويسمي في لغة السي++ cinttypes وايضا يمكن تعريفها في العنوان <stdint.h> . يمكن تجميع الأنواع في الفئات التالية:

• عدد صحيح العرض الدقيق (Exact-width integer) يضمن الحصول علي نفس عدد N من البتات عبر جميع عمليات التنفيذ . يتم تضمينها فقط في حالة توفرها في التطبيق.
• عدد صحيح أقل عرض (least-width integer) يضمن أن يستخدم أصغر نوع متاح من أنواع البيانات الذي على الأقل يحدد عدد N من البتات ويضمن أن تكون قيمة الN=8,16,32,64.
• عدد صحيح الأسرع (fastest integer) يضمن أن يستخدم أسرع نوع متاح من أنواع البيانات الذي على الأقل يحدد عدد N من البتات ويضمن أن تكون قيمة الN=8,16,32,64.
• عدد صحيح المؤشر (pointer integer) الذي يضمن أن يكون بامكانه حمل مؤشر ولكن يتم تضمينها فقط في حالة توفرها في التطبيق.
• عدد صحيح أكبر عرض (maximum-width integer) يضمن أن يستخدم أكبر نوع متاح من أنواع البيانات.

يلخص الجدول التالي الأنواع والأوجه للحصول علي تفاصيل التنفيذ (الN تدل علي عدد البتات)

العنوان <inttypes.h> يوفر ميزات تعمل على تحسين وظائف الأنواع المحددة في العنوان <stdint.h> وشملت هي وحدات الماكرو التي تحدد printf format string و scanf format string المقابلة لأنواع <stdint.h> والدوال المتعددة التي تعمل في أنواع intmax_t وuintmax_t . هذا العنوان تم اضافته في معيار C99.

Printf format string

وحدات الماكرو بتنسيق الPRI{fmt}{type}. في ال{fmt} يحدد تنسيق الإخراج وهي واحدة من ال d decimal، x hexadecimal، o octal، u unsigned و i integer . يعرف ال{type} نو ع الوسيط ويكون واحد من N، FASTN، LEASTN، PTR، MAX ، حيث ال N عدد البتات.

Scanf format string

وحدات الماكرو بتنسيق الPRI{fmt}{type}. في ال{fmt} يحدد تنسيق الإخراج وهي واحدة من ال d decimal، x hexadecimal، o octal، u unsigned و i integer . يعرف ال{type} نو ع الوسيط ويكون واحد من N، FASTN، LEASTN، PTR، MAX ، حيث ال N عدد البتات.

وعلى نحو مماثل للأنواع الصحيحة ذات العرض الثابت، تحدد المواصفة ISO / IEC TS 18661 أنواع الفواصل العائمة لتبادل IEEE 754 والتنسيقات الموسعة في binary (الثنائيات) و decimal (ال):

• _FloatN لأجل صيغ التبادل الثنائية (binary).
• _DecimalN لأجل صيغ تبادل الأرقام العشرية (decimal).
• _FloatNx لأجل الصيغ الموسعة من الثنائية (binary).
• _DecimalNx لأجل الصيغ الموسة من الأرقام العشرية (decimal).

تعطي الهياكل ميزة تخزين البيانات المتعددة. مختلفة في نوع البيان. في مخزن في الذاكرة يدل علي متغير واحد، المثال التالي يوضح هيكل معين اسم نوع البيان struct birthday الذي يحتوي على اسم الشخص ويوم ميلاده الذي يتكون من حروف وأرقام . يتم تعريف الهيكل ويليه تعريف المتغيرات والبيانات بداخلها.

struct birthday {
    char name[20];
    int day;
    int month;
    int year;
};

struct birthday John;

تخطيط الذاكرة للهيكل هو مشكلة في تنفيذ اللغة لكل نظام أساسي، مع بعض القيود . عنوان الذاكرة لأول عنصر في الهيكل يجب أن يكون هو عنوان الهيكل نفسه، يمكن تهيئة الهياكل أو تعيينها لاستخدام القيم الحرفية المركبة compound literals، الدالة يمكن أن تعود بهيكل. على الرغم من أن هذا غير فعال في كثير من الأحيان في وقت التشغيل. منذ C99 ، قد ينتهي الهيكل أيضًا بعنصر من المصفوفة المرنة.

struct node {
	int val;
	struct node *next;
};

لكل نوع T ، باستثناء أنواعا الدوال وال void ، توجد أنواع «مصفوفة عناصر N من النوع T». المصفوفة هي مجموعة من القيم، جميعها من نفس النوع، مخزنة بشكل متقارب في الذاكرة. يتم فهرسة (ترقيم) مصفوفة الحجم N بواسطة الأعداد الصحيحة من 0 حتى وتضم N-1. هناك أيضًا «مصفوفات ذات حجم غير محدد» (vector) حيث لا يعرف عدد العناصر بواسطة المبرمج أو المنفذ (compiler). هنا مثال موجز:

int cat[10];  // array of 10 elements، each of type int
int bob[];    // array of an unspecified number of 'int' elements

يمكن تهيئة المصفوفات باستخدام مُهيئ مركب، ولكن لا يتم تعيينها. يتم تمرير المصفوفات إلى دوال function بتمرير مؤشر pointer إلى العنصر الأول. يتم تعريف المصفوفات متعددة الأبعاد على أنها «مصفوفه من المصفوفات ...»، ويجب أن يكون لجميع الأبعاد حجم ثابت وقت التجميع فيما عدا البعد الخارجي:

int a[10][8];  // array of 10 elements، each of type 'array of 8 int elements'
float f[][32]; // array of unspecified number of 'array of 32 float elements'

كل نوع من البيانات T له مؤشر مناظر من نوع T . المؤشر هو نوع من أنواع البيانات ولكن يحتوي على عنوان موقع تخزين لمتغير من نوع معين . يتم اعلانه عن طريق وضع علامة النجمة (*) بعد نوع التخزين الأساسي وقبل اسم المتغير. المساحة قبل أو بعد علامة النجمة تكون اختيارية.

char * square;
long* circle;
int *oval;

قد يتم أيضًا الإعلان عن المؤشرات لأنواع بيانات المؤشر، وبالتالي إنشاء عدة مؤشرات غير مباشرة، مثل char ** و int *** ، بما في ذلك المؤشرات إلى المصفوفات . هذه الأخيرة أقل شيوعًا من مجموعة من المؤشرات، وقد يكون انشائها مربكًا:

char *pc[10]; // array of 10 elements of 'pointer to char'
char (*pa)[10]; // pointer to a 10-element array of char

يستهلك الكمبيوتر الشخصي عشرة أجزاء من الذاكرة من حجم المؤشر char (عادة 40 أو 80 بايت على الأنظمة الأساسية الشائعة)، ولكن عنصر pa هو مؤشر واحد فقط - حجم الpa عادة 4 أو 8 - والبيانات التي تشير إليها هي مجموعة من عشرة بايت (sizeof * سنويا = 10).

ال "union" هو بناء خاص يسمح بالوصول إلى مكان الذاكرة نفسه باستخدام خيار الأختلاف في نوع الوصف. على سبيل المثال، قد يتم التصريح عن اتحاد (union) أنواع البيانات للسماح بقراءة نفس البيانات إما integer أو float أو أي نوع آخر تم التصريح به من قبل المستخدم:

union {
    int i;
    float f;
    struct {
        unsigned int u;
        double d;
    } s;
} u;

قرأه عنصر من union ليست هي نفسها مثل الصب فيه حيث أن قيمة العضو لا يتم تحويلها، بل يتم قراءتها فقط

مؤشرات الدالة تسمح بعودة الدالة بتوقيع معين. على سبيل المثال: تخزين عنوان معيار الدالة abs في متغير my_int_f:

int (*my_int_f)(int) = &abs;
// the & operator can be omitted، but makes clear that the "address of" abs is used here

مذكور سابقا أن نوع البيان يمكن أن يكون مميزا أكثر بالType qualifiers . هناك أربعة أنواع مؤهلات في C11 القياسية: const C89 ، متقلبة C89 ، وتقييد C99 و _Atomic C11 . هذا الأخير لديه اسم خاص لتجنب تعارض مع أسماء المستخدمين. ولكن الatomic يمكن أن فقط يستخدم في حالة وجود العنوان <stdatomic.h> مسبقا . const الي حد بعيد هو أشهرهم وأكثرهم استخداما. تظهر في المكتبة القياسية وتوجد في أي استخدام كبير للغة C ، والتي يجب أن تلبي const-correctness (صحة الconst). تستخدم المؤهلات الأخرى للبرمجة ذات المستوى المنخفض، وعلى الرغم من استخدامها على نطاق واسع، إلا أنه نادرًا ما يستخدمها المبرمجون العاديون.^[8][9]