الصنف اللا متغير (أو النوع اللامتغيّر) class invariant (أو type invariant) في برمجة الحاسوب، وعلى وجه التحديد البرمجة الموجهة للكائنات، هو لامتغيّر يستخدم لتقييد كائنات صنف . يجب أن تحافظ طرق الصنف على اللامتغيّر. تقيّد النصف اللامتغيّر الحالة المخزنة في الكائن.
يتم إنشاء لامتغيرات الصنف أثناء البناء ويتم الحفاظ عليها باستمرار بين الاستدغاءات إلى الأساليب العامة. قد يؤدي الكود داخل الدوال إلى كسر اللامتغيرات طالما يتم استعادة اللامتغيرات قبل انتهاء الدالة العامة.
الكائن اللامتغّير، أو التمثيل اللامتغيّر، هو بنية برمجة حاسوبية تتكون من مجموعة من الخصائص اللامتغيّرة التي لا تتنازل بغض النظر عن حالة الكائن. هذا يضمن أن الكائن سيلبي دائمًا الشروط المحددة مسبقًا، وبالتالي فإن الطرق قد تشير دائمًا إلى الكائن دون المخاطرة بالافتراضات غير الدقيقة. يمكن أن يساعد تعريف اللامتغيرات الصنفية المبرمجين والمختبرين على التقاط المزيد من الأخطاء أثناء اختبار البرمجيات.