Czy istnieje terminologia dotycząca „prawdziwego”, „fałszywego” i przełączania wartości logicznej? [Zamknięte]

Powiedzmy, że próbuję opisać mój kod na spotkaniu technicznym.

Najpierw ustawiłem wartość logiczną foobarnatrue

i

Po drugie, ustawiłem wartość logiczną foobarnafalse

wydaje się trochę niewygodny. Gdyby foobarzostał przełączony, prawdopodobnie powiedziałbym:

Po trzecie, przełączam foobar

Poprzez implikację tutaj wiesz, że to boolean. Więc nie powinienem móc:

Po czwarte, ja Truthify foobar

i

Po piąte, I Falsify foobar

Co również przez domniemanie powie moim słuchaczom, że mamy do czynienia ze zmienną boolowską? Czy istnieje odpowiednia terminologia w tym zakresie? Dzięki.

• Ustawienie wartości true oznacza ustawienie tej wartości
• Ustawienie wartości false powoduje wyczyszczenie .
• Zmiana bieżącej wartości jest przełączana .

Możesz także użyć opcji „ustawienie true” i „ustawienie go na false” .

Jeśli to w ogóle możliwe, zamiast skupiać się na wartości logicznej, powinieneś spróbować opisać, co ona reprezentuje. Kilka przykładów:

• serwis? start / stop zamiast start = true / false
• efekt specjalny w silniku gry? on / off
• sygnał elektryczny? ustawić / zresetować
• ...

W ten sposób będziesz mówić w bardziej naturalny sposób. I tak na spotkaniu zamiast „prawdy foobar, a następnie sfałszowania go”, po prostu „zaczniecie foobar, a potem go zatrzymacie” (jeśli rzeczywiście foobar jest usługą).

Gdy naprawdę potrzebujesz mówić o wartości logicznej, możesz przejść do „set / reset”, „set to true” i „set to false”. „Toggle” brzmi całkiem nieźle we wszystkich kontekstach.

A jeśli pracujesz w sklepie boolowskim (cokolwiek to może znaczyć), prawdopodobnie potrzebujesz więcej słów niż oferuje słownik. W takim przypadku prawdomówność i fałszowanie są po prostu częściami twojego mikrospeaka .

Lubię „set” / „clear”, ale bądź ostrożny z dwuznacznością w swoim frazowaniu. Jak zauważył Filip , „ustaw zmienną bool” może oznaczać zapisanie pewnej wartości do zmiennej. Ale „ustawianie flagi” jest bardziej jasne.

Terminologia pokrewna: przekształcenie liczby całkowitej 0 / niezerowej w wartość 0/1 nazywa się „booleanizing” .

Jeśli faktycznie używasz wartości 0/1 jako liczby całkowitej (zamiast true / false bool), możesz chcieć użyć tego słowa. W przeciwnym razie prawdopodobnie pojawi się tylko wtedy, gdy mówisz o koszcie operacji, które musi wykonać kompilator. (Lub jeśli ręcznie wektoryzujesz za pomocą porównania SIMD w celu uzyskania bitów zero-zero / all-one w każdym elemencie wektorowym).

W C i C ++ a boolmoże domyślnie przekonwertować z powrotem na liczbę całkowitą jako 0 lub 1, a na normalnych implementacjach booljest przechowywana jako wartość jednobajtowa, która jest równa 0 lub 1 (nie tylko dowolna wartość niezerowa). Pozwala to na wydajne a && b, ale w praktyce wiele kompilatorów C nie przeszło optymalizacji .

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

Ta funkcja kompiluje się z wieloma instrukcjami (bez instrukcji ret) w większości architektur. (MIPS jest interesującym wyjątkiem, posiadającym instrukcje porównania do rejestru zamiast oddzielnego rejestru znacznik / kod stanu). w eksploratorze kompilatorów Godbolt dla x86-64, MIPS i ARM thumb możemy zobaczyć, że wersja x86-64 to:

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

Przepraszam, ten przykład tego, co booleanizacja ma trochę duży / nie na temat!

Myślę, że „ustawione Foobarna prawdę” i „ustawione Foobarna fałsz” są proste i zwięzłe. Nie wydaje mi się, żeby te frazy zawierały pojedyncze słowa, a kiedy trzeba być zarówno technicznym, jak i precyzyjnym, czasem lepiej jest być trochę nieprzyjemnym niż ryzykować zamieszanie odbiorców.

„Ustawienie” jest poprawnym sposobem opisania aktu przypisywania wartości zmiennej. Jeśli chcesz się tym zająć, możesz nazwać to „przydziałem”, ale „zestaw” jest bardzo rozpowszechniony. W rzeczywistości idiomatyczną Javą jest pisanie setFoobar()(i getFoobar()) metod wykonywania przypisań. C # idzie o krok dalej z definicjami geti setwłaściwościami.

Jeśli chodzi o twój drugi punkt na temat używania „prawda” i „fałsz” na „poprzez implikację, powiedz moim słuchaczom, że mamy do czynienia ze zmienną boolowską”, już mówisz swoim słuchaczom, że zmienna jest logiczna, kiedy mówisz:

Ustawiłem Foobarnatrue

Można również użyć Asercji lub Wycofania , najczęściej mówiąc o zdaniach, a nie prostych zmiennych, na przykład w Prologu. Zwykle istnieją różne terminy w zależności od tego, co reprezentuje wartość logiczna, zamiast jednego ogólnego terminu dla wszystkich języków posiadających wartości logiczne (ustaw / wyczyść flagę lub bit, włącz / wyłącz urządzenie lub tryb, zapewnij / wycofaj propozycję, prawdopodobnie więcej).

Zmiana wartości logicznej z truena falselub odwrotnie nazywa się negacją .

Aby ustawić wartość boolean na, falsemówi się, że fałszuje wartość boolean. Zrozumiałbym cię, gdybyś powiedział „prawdę”, ale to nie brzmi dobrze. Nie jestem pewien, co to czasownik na zrobienie czegoś true, więc może być właściwe.

Poczekam na przyjście kogoś z lepszą odpowiedzią, zanim zaczniesz używać „prawdy” chcąc nie chcąc.

Wartość logiczna jest równoważna SPST (jednobiegunowe, pojedynczy Throw) elektrycznego: jedna Okazuje się na lub poza .