Programowanie language-lawyer

1

Czy sizeof (wyliczenie) może różnić się od sizeof (typ: typ_podstawowy <Enum> :: typ)?

Niedawno pojawił się w przeglądzie kodu, który w następującym przykładzie: enum class A : uint8_t { VAL1, VAL2 }; ... std::vector<A> vOfA; // Assume this is sized and full of some stuff. std::memcpy(wire_buffer, vOfA.data(), vOfA.size() * sizeof(A)); Powinniśmy używać sizeof(std::underlying_type<A>::type)zamiast sizeof(A). Czy to możliwe, że mogą się one kiedykolwiek różnić? …

16 c++ language-lawyer

1

Czy parser Haskell powinien dopuszczać cyfry Unicode w literałach numerycznych?

Jako ćwiczenie piszę parser Haskella od zera. Tworząc leksyk zauważyłem następujące zasady dotyczące raportu Haskell 2010 : cyfra → ascDigit | uniDigit ascDigit → 0| 1| … | 9 uniDigit → dowolny Unicode cyfry dziesiętne octit → 0| 1| … | 7 hexit → cyfra | A| … | F| …

15 haskell syntax language-lawyer literals

1

Jak kompilatory c ++ znajdują zmienną zewnętrzną?

Kompiluję ten program przez g ++ i clang ++. Jest różnica: g ++ drukuje 1, ale clang ++ drukuje 2. Wygląda na to, że g ++: zmienna zewnętrzna jest zdefiniowana w najkrótszym zakresie. clang ++: zmienna zewnętrzna jest zdefiniowana w najkrótszym globalnym zakresie. Czy specyfikacja C ++ ma jakieś specyfikacje …

15 c++ language-lawyer c++17

2

Dlaczego `std :: basic_ios` ma konstruktora publicznego?

std::basic_iosma publicznego konstruktora : explicit basic_ios (std::basic_streambuf<CharT,Traits>* sb); IMO, jedynym powodem, dla którego klasa ma konstruktora publicznego, jest użycie autonomicznej instancji tej klasy w programie. Jeśli klasa istnieje tylko po to, aby inne klasy z niej wywodziły się (jak się wydaje basic_ios), wszystkie konstruktory klasy powinny być protected. Wszystkie konstruktory …

15 c++ stream language-lawyer design-rationale

2

Czy program, który nigdy nie kończy prawidłowego programu C ++?

Czy do zakończenia programu wymagany jest program? Innymi słowy, czy program, który działa wiecznie, jest technicznie niezdefiniowanym zachowaniem? Uwaga: nie chodzi o puste pętle. Mówiąc o programach, które na zawsze wykonują „rzeczy” (tj. Obserwowalne zachowania). Np. Coś takiego: int main() { while (true) { try { get_input(); // calls IO …

15 c++ language-lawyer undefined-behavior

1

Dlaczego optymalizacja pustej bazy jest zabroniona, skoro pusta klasa podstawowa jest również zmienną składową?

Optymalizacja pustej bazy jest świetna. Obejmuje jednak następujące ograniczenie: Optymalizacja pustej bazy jest zabroniona, jeśli jedna z pustych klas bazowych jest również typem lub bazą typu pierwszego niestatycznego elementu danych, ponieważ dwa podstawowe podobiekty tego samego typu muszą mieć różne adresy w reprezentacji obiektu najbardziej pochodnego typu. Aby wyjaśnić to …

14 c++ class inheritance language-lawyer memory-layout

1

Czy różnica dwóch instancji constexpr wskaźników __func__ wciąż jest constexpr?

Czy to jest poprawny C ++? int main() { constexpr auto sz = __func__ - __func__; return sz; } GCC i MSVC uważają, że jest w porządku, Clang uważa, że tak nie jest: Compiler Explorer . Wszystkie kompilatory zgadzają się, że ten jest w porządku: Eksplorator kompilatorów . int main() …

14 c++ pointers language-lawyer c++17 constexpr

1

Czy to błąd w std :: gcd?

Natknąłem się na takie zachowanie, std::gcdktóre okazało się nieoczekiwane: #include <iostream> #include <numeric> int main() { int a = -120; unsigned b = 10; //both a and b are representable in type C using C = std::common_type<decltype(a), decltype(b)>::type; C ca = std::abs(a); C cb = b; std::cout << a << …

14 c++ language-lawyer c++17 unsigned libstdc++

2

Dlaczego nie możemy tworzyć obiektów łatwych do zbudowania za pomocą malloc, jeśli prosty domyślny konstruktor nie wykonuje żadnej akcji?

Mam trudności ze zrozumieniem poniższego akapitu cytowanego z cpreferencji na temat trywialnego domyślnego konstruktora. Przeszukałem stackoverflow, ale nadal nie otrzymałem jasnej odpowiedzi. Więc proszę o pomoc. Trywialny domyślny konstruktor to konstruktor, który nie wykonuje żadnej akcji. Wszystkie typy danych kompatybilne z językiem C (typy POD) są trywialnie domyślne. W przeciwieństwie …

14 c++ language-lawyer

4

Jak osiągnąć barierę StoreLoad w C ++ 11?

Chcę napisać przenośny kod (Intel, ARM, PowerPC ...), który rozwiązuje wariant klasycznego problemu: Initially: X=Y=0 Thread A: X=1 if(!Y){ do something } Thread B: Y=1 if(!X){ do something } w którym celem jest uniknięcie sytuacji, w której robią oba wątkisomething . (W porządku, jeśli żadna rzecz nie działa; nie jest …

13 c++ language-lawyer atomic memory-barriers stdatomic

4

Czy wyjaśnienie swobodnego zamawiania jest błędne w preferencjach?

W dokumentacji std::memory_orderna cppreference.com jest przykład swobodnego zamawiania: Zrelaksowane zamawianie Oznaczone operacje atomowe memory_order_relaxednie są operacjami synchronizacji; nie narzucają kolejności między dostępami do pamięci jednocześnie. Gwarantują one tylko atomowość i spójność kolejności modyfikacji. Na przykład, gdy xiy początkowo wynoszą zero, // Thread 1: r1 = y.load(std::memory_order_relaxed); // A x.store(r1, std::memory_order_relaxed); …

13 c++ multithreading c++11 language-lawyer as-if

2

jeśli constexpr z static_assert w lambda, który kompilator jest poprawny?

Kiedy chcemy używać static_assertw sposób if constexprmusimy warunek zależny od jakiegoś parametru szablonu. Co ciekawe, gcc i clang nie zgadzają się, gdy kod jest zawarty w lambda. Poniższy kod kompiluje się z gcc, ale clang wyzwala aser, nawet jeśli if constexprnie może to być prawda. #include <utility> template<typename T> constexpr …

13 c++ templates language-lawyer c++17 static-assert

2

Czy Derived1 :: Base i Derived2 :: Base odnoszą się do tego samego typu?

MSVC, Clang i GCC nie zgadzają się na ten kod: struct Base { int x; }; struct Der1 : public Base {}; struct Der2 : public Base {}; struct AllDer : public Der1, public Der2 { void foo() { Der1::Base::x = 5; } }; Godbolt GCC: <source>: In member function …

12 c++ language-lawyer multiple-inheritance diamond-problem qualified-name

1

Co zapobiega nakładaniu się sąsiednich członków na zajęcia?

Rozważ następujące trzy structs: class blub { int i; char c; blub(const blub&) {} }; class blob { char s; blob(const blob&) {} }; struct bla { blub b0; blob b1; }; Na typowych platformach, na których intsą 4 bajty, rozmiary, wyrównania i całkowite wypełnienie 1 są następujące: struct size …

12 c++ language-lawyer c++20

1

Jakie są zasady oceny funkcji a -> () w Haskell?

Tak jak w tytule: jakie są gwarancje, że jednostka zwrotna funkcji Haskell zostanie poddana ocenie? Można by pomyśleć, że w takim przypadku nie ma potrzeby przeprowadzania żadnej oceny, kompilator mógłby zastąpić wszystkie takie wywołania natychmiastową ()wartością, chyba że istnieją wyraźne żądania zachowania ścisłości, w którym to przypadku kod może zdecydować, …

12 haskell language-lawyer lazy-evaluation semantics unit-type

Pytania otagowane jako language-lawyer