«invariants» etiketlenmiş sorular

Work at Coder okuyorum ve içinde değişmezler hakkında çok fazla konuşma var. Anladığım kadarıyla, değişmez bir ifadeden önce ve sonra tutan bir durumdur. Mantık dersimi doğru hatırlıyorsam, diğer şeylerin yanı sıra, bu döngünün doğru olduğunu kanıtlamada da faydalılar. Açıklamam doğru mu, yoksa bir şey mi kaçırdım? Programında hiç kullandın mı? …

48 invariants 

Bu en popüler yolu bir değer Bir dizide olup olmadığını kontrol etmeyi (bana öyle geliyor): for (int x : array) { if (x == value) return true; } return false; Ancak, yıllar önce, muhtemelen Wirth veya Dijkstra tarafından okuduğum bir kitapta, bu stilin daha iyi olduğu söylendi (içinde bir çıkış …

17 coding-style  search  loops  invariants  structured-programming 

`` Değişmez'i '' tam anlamıyla anlıyorum. Kod yazdığımda da onları tanıyorum. Fakat bu terimin bilgisayar bilimi bağlamındaki önemini anladığımı sanmıyorum. Ne zaman ünlü programcıların bilgisayar bilimcilerinin dil tasarımıyla ilgili konuşmalarını, beyaz kağıtlarını okuduğumda, 'değişmez' terimi bir jargon olarak ortaya çıkıyor; ve bu benim anlamadığım kısım. Bu konuda bu kadar özel …

16 programming-languages  language-agnostic  invariants 

C ++ 'ı uzun zaman önce öğrendiğimde, C ++' ın noktasının bir kısmının, döngülerin "döngü değişmezlerine" sahip olması gibi, sınıfların da nesnenin ömrü ile ilişkili değişmezleri olduğu gerçeği vurgulandı - doğru olması gereken şeyler çünkü nesne canlı. Yapıcılar tarafından kurulması ve yöntemlerle korunması gereken şeyler. Kapsülleme / erişim kontrolü, değişmezleri …

13 c++  object-oriented-design  c++11  invariants 

Değişmez kavramının birçok programlama paradigmasında var olduğunun farkındayım. Örneğin, döngü değişmezleri OO, fonksiyonel ve prosedürel programlama ile ilgilidir. Bununla birlikte, OOP'de bulunan çok yararlı bir tür, belirli bir türdeki verilerin değişmezidir. Başlığında "tip tabanlı değişmezler" diyorum. Örneğin, bir Fractiontipte bir numeratorve olabilir ve denominatordeğişmezi ile gcd'leri her zaman 1'dir (yani, …

9 functional-programming  language-agnostic  paradigms  invariants