Чи існує термінологія для "істинного", "помилкового" та змінення булевого? [зачинено]

Скажімо, я намагаюся описати свій код на технічній нараді.

По- перше, я встановив булево foobarдоtrue

і

По- друге, я встановив булево foobarдоfalse

здається трохи багатослівним. Якби не foobarбуло, я, певно, можу сказати:

По-третє, я перемикаю foobar

Завдяки цьому, ви знаєте, що це буле. Тож я не можу:

По-четверте, я Truthify foobar

і

В- п'яте, я Підробка Foobar

Що також через імплікацію скаже моїм слухачам, що ми маємо справу з булевою змінною? Чи є для цього належна термінологія? Спасибі.

• Встановити значення true - це встановити його
• Якщо встановити значення false, це очистити його.
• Змінення поточного значення перемикає його.

Ви , звичайно, також можете використовувати "встановлення на істинне" та "встановлення на помилкове" .

Якщо це взагалі можливо, а не зосереджуватися на булевому значенні, вам слід спробувати описати, що це означає. Деякі приклади:

• послуга? start / stop замість start = true / false
• особливий ефект в ігровому двигуні? увімкнено вимкнено
• електричний сигнал? встановити / скинути
• ...

Таким чином ви б поговорили в більш природній формі. І, таким чином, у вашій зустрічі, замість того, щоб "обробляти фоабар, а потім фальсифікувати його", ви просто "запустили б фобар та зупинили його" (якщо foobar - це справді послуга).

Коли вам дійсно потрібно поговорити про булеве значення, ви можете перейти з "встановити / скинути", або "встановити на істинне" і "встановити на помилкове". "Toggle" звучить досить приємно у будь-якому контексті.

А якщо ви працюєте в булевій крамниці (що б це не означало), то вам, мабуть, потрібно більше слів, ніж те, що може запропонувати словник. У цьому випадку truthify та фальсифікація - просто частина вашої мікровимови .

Мені подобається "встановити" / "зрозуміло", але будьте уважні до двозначності у вашому формулюванні. Як зазначає Філіп , "встановити змінну bool" можна вважати записом певної величини до змінної. Але «встановлення прапора» більш зрозуміле.

Пов'язана термінологія: перетворення 0 / ненульового цілого числа у значення 0/1 називається "булеанізуючим" .

Якщо ви фактично використовуєте значення 0/1 як ціле число (замість як істинне / хибне bool), ви можете використовувати це слово. Інакше він з’явиться, лише якщо ви говорите про вартість операцій, які повинен виконати компілятор. (Або якщо ви векторизуєте вручну за допомогою SIMD порівняння, щоб отримати всі нулі / всі-один біт у кожному векторному елементі).

У C і C ++ a boolможе неявно перетворюватися назад у ціле число як 0 або 1, а в звичайних реалізаціях boolзберігається як однобайтове значення, яке дорівнює 0 або 1 (а не будь-яке ненульове значення). Це дозволяє ефективно a && b, але на практиці багато компіляторів С пропустили оптимізацію .

bool booleanize(int a) { return a; }   // C++

Ця функція компілюється в декілька інструкцій (не включаючи ret) для більшості архітектур. (MIPS є цікавим винятком, маючи інструкції порівняння-реєстру замість окремого регістра прапор / код-код). на досліднику компілятора Godbolt для x86-64, MIPS і ARM ми бачимо, що версія x86-64:

    test    edi, edi    # set flags according to   a & a
    setne   al
    ret                 # return value in AL, the low byte of RAX

Вибачте за цей приклад того, що booleaising має трохи великий / поза темою!

Я думаю, що "встановити Foobarна істину" і "встановити Foobarна помилкове" є прямими і лаконічними. Я не вірю, що для цих фраз є окремі слова, і коли вам потрібно бути і технічними, і точними, іноді краще бути готовим бути трохи розмовним, ніж ризикувати заплутати свою аудиторію.

"Установка" - це правильний спосіб описати акт присвоєння значення змінній. Якщо ви хотіли отримати педантичність щодо цього, ви можете назвати це "завданням", але "набір" дуже поширений. Насправді, ідіоматична Java писати setFoobar()(і getFoobar()) методи для виконання завдання. C # робить крок далі з getі setвизначення власності.

Що стосується вашого другого пункту про використання "truthify" та "falsify" to "через імплікацію, скажіть моїм слухачам, що ми маємо справу з булевою змінною", ви вже говорите своїм слухачам, що змінна є Boolean, коли ви говорите:

Я налаштований Foobarнаtrue

Assert або Retract також можна використовувати, найчастіше, коли йдеться про пропозиції, а не про прості змінні, наприклад, у Prolog. Зазвичай існують різні терміни залежно від того, що представляє булевий, а не один загальний термін для всіх мов, що мають булеві значення (встановити / очистити прапор чи біт, включити / відключити пристрій чи режим, затвердити / відкликати пропозицію, ймовірно, більше).

Для зміни булевого значення з trueна falseабо навпаки називається запереченням .

Встановити значення булевого значення в falseназивається фальсифікацією булевого значення. Я б вас зрозумів, якби ви сказали "truthify", однак, це не здається правильно. Я не впевнений, що таке дієслово для створення чогось true, тому це могло бути правильним.

Я б зачекав, коли хтось із кращою відповіддю завітає до того, як ви почнете користуватися "truthify" willy-nilly.

Логічне є еквівалентом SPST (однополюсний, одного кидка) електричний вимикач: один повертає його на або геть .