“False <true” işlemi iyi tanımlanmış mı?

C ++ belirtimi şunları tanımlıyor mu?

1. boole parametreleri için 'küçüktür' operatörünün varlığı ve varsa,
2. 4 parametre permütasyonunun sonucu nedir?

Başka bir deyişle, aşağıdaki işlemlerin sonuçları spesifikasyon tarafından tanımlanmış mı?

false < false
false < true
true < false
true < true

Kurulumumda (Centos 7, gcc 4.8.2), aşağıdaki kod beklediğimi ortaya koyuyor (C'nin false değerini 0 ve true olarak 1 olarak temsil etme geçmişi göz önüne alındığında):

false < false = false
false < true = true
true < false = false
true < true = false

Çoğu (tümü?) Derleyicinin aynı çıktıyı vereceğinden emin olmamıza rağmen, bu C ++ belirtimine uygun mu? Ya da şaşkın, ancak şartnameye uygun bir derleyicinin, doğrunun yanlıştan küçük olduğuna karar vermesine izin veriliyor mu?

#include <iostream>

const char * s(bool a)
{
  return (a ? "true" : "false");
}

void test(bool a, bool b)
{
  std::cout << s(a) << " < " << s(b) << " = " << s(a < b) << std::endl;
}

int main(int argc, char* argv[])
{
  test(false, false);
  test(false, true);
  test(true, false);
  test(true, true);
  return 0;
}

TL; DR:

İşlemler taslak C ++ standardına göre iyi tanımlanmıştır.

ayrıntılar

Taslak C ++ standart bölümü 5.9 İlişkisel işleçlere gidip şunu söyleyebiliriz ( ileriye dönük maden ):

İşlenenler aritmetik sahip olacaktır , numaralandırma ya işaretçi türü veya tür std :: nullptr_t. <(Küçüktür),> (büyüktür), <= (küçüktür veya eşittir) ve> = (eşit veya büyüktür) işleçlerinin tümü yanlış veya doğru verir. Sonucun türü bool

ve booller 3.9.1'in temel aritmetik tipleridir.

Türleri bool , Kuruma, char16_t, char32_t, wchar_t ve imzalı ve imzasız tamsayı türleri topluca edilir ayrılmaz türlerini çağırdı.

ve

İntegral ve kayan tipler topluca aritmetik tipler olarak adlandırılır.

ve trueve falseBoole değişmezlerinden gelen boole 2.14.6değişmezleri:

boolean-literal:
    false
    true

5.9İlişkisel operatörlerin mekaniğini daha fazla görmek için bölüme dönersek , diyor ki:

Genel aritmetik dönüşümler, aritmetik veya numaralandırma türündeki işlenenlerde gerçekleştirilir.

Her zamanki aritmetik dönüşümler bölümünde kaplıdır 5diyor ki:

Aksi takdirde, integral tanıtımlar (4.5) her iki işlenende de gerçekleştirilecektir.

ve bölüm 4.5diyor ki:

Bool türünün bir ön değeri, int sıfır türüne ve yanlış olanın bir sıfıra dönüşmesine neden olabilir.

ve böylece ifadeler:

false < false
false < true
true < false
true < true

bu kuralları kullanmak:

0 < 0
0 < 1
1 < 0
1 < 1

Boole değerleri, olarak falsetanımlanan 0ve olarak truetanımlanan olağan tamsayı tanıtımlarına tabidir 1. Bu, tüm karşılaştırmaları iyi tanımlanmış hale getirir.

C ++ Standardına göre (5.9 İlişkisel operatörler)

2 Genel aritmetik dönüşümler, aritmetik veya numaralandırma tipi işlenenlerde gerçekleştirilir.

ve

1 ... Sonucun türü bool.

ve (3.9.1 Temel türler)

6 Bool tipi değerler doğru veya yanlıştır.49 [Not: İmzalı, imzasız, kısa veya uzun bool tipi veya değeri yoktur. —End not] Tip bool değerleri integral promosyonlarına katılır (4.5).

ve (4.5 İntegral tanıtımları)

6 Bool türü bir ön değer, int sıfır türüne ve yanlış bir sıfıra dönüşerek int türünde bir ön değere dönüştürülebilir .

Yani tüm örneklerinizde true, int 1'e ve false, int 0'a dönüştürülür

Bu ifadeler

false < false
false < true
true < false
true < true

tamamen eşdeğerdir

0 < 0
0 < 1
1 < 0
1 < 1

Boolean falseeşittir int 0ve boolean trueeşittir int 1. Bu, false < true=> ifadesinin neden 0 < 1geri dönen tek ifade olduğunu açıklar true.