Запитання з тегом «invariants»

Я читаю кодери на роботі , і в ньому багато розмов про інваріантів. Наскільки я це зрозумів, інваріант - це стан, який має місце і до, і після виразу. Вони, серед іншого, корисні для доведення правильності циклу, якщо я правильно запам'ятав свій курс логіки. Чи правильний мій опис, чи я …

48 invariants 

Це найпопулярніший спосіб (мені здається) перевірити, чи є значення в масиві: for (int x : array) { if (x == value) return true; } return false; Однак у книзі, яку я багато років тому читав, напевно, Вірт або Дайкстра, було сказано, що цей стиль кращий (у порівнянні з циклом "час" …

17 coding-style  search  loops  invariants  structured-programming 

Я розумію «інваріант» у прямому сенсі. Я також розпізнаю їх під час введення коду. Але я не думаю, що я розумію важливість цього терміна в контексті інформатики. Щоразу, коли я читаю бесіди \ довідки про дизайн мови від відомих програмістів \ комп'ютерних працівників, термін "інваріант" постійно з'являється як жаргон; і …

16 programming-languages  language-agnostic  invariants 

Коли я давно вивчив C ++, мені було наголошено, що частина пункту C ++ полягає в тому, що так само, як петлі мають "петлю-інваріанти", класи також мають інваріанти, пов'язані з життям об'єкта - речі, які повинні бути правдивими доки об’єкт живий. Речі, які повинні бути встановлені конструкторами, а збережені методами. …

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

Мені відомо, що концепція інваріантів існує в декількох парадигмах програмування. Наприклад, циклічні інваріанти є актуальними в ОО, функціональному та процедурному програмуванні. Однак один дуже корисний вид, знайдений в ООП, є інваріантом даних певного типу. Це те, що я називаю "типовими інваріантами" у назві. Наприклад, Fractionтип може мати numeratorа denominator, з …

9 functional-programming  language-agnostic  paradigms  invariants