Edytujesz "Statyczna asercja" (fragment)

funus.net

Nie jesteś zalogowany. Twój adres IP będzie zapisany w historii edycji strony.

====Przykładowa implementacja====
Implementacja opiera się na metaprogramowaniu szablonowym (ang. ''template metaprogramming'') i ─ jak sama nazwa wskazuje ─ wykorzystuje szablony (wzorce) języka C++.

''static_assert.h'':
 template <bool>
 class static_assert_tmpl;
 
 template <>
 class static_assert_tmpl<true>
 { };
 
 #define STATIC_ASSERT(cond) static_assert_tmpl<cond>()

W powyższym fragmencie zadeklarowano szablon klasy <tt>static_assert_tmpl</tt>, sparametryzowany wartością typu <tt>bool</tt>. Co istotne, nie ma definicji tego szablonu, tylko sama deklaracja. Drugim elementem jest całkowita specjalizacja szablonu <tt>static_assert_tmpl</tt>, dla wartości logicznej <tt>true</tt>. Tym razem konieczna jest definicja klasy (wystarczy pusta). Dla wygody i uzyskania notacji w stylu wywołania funkcji, zdefiniowano też makro <tt>STATIC_ASSERT()</tt>.

Przykład wykorzystania z warunkiem, który powinien zawsze być spełniony:
 #include "static_assert.h"
 
 int main(int, char**)
 {
   STATIC_ASSERT(sizeof(char) == 1);
 }
Ponieważ z definicji rozmiar danej typu <tt>char</tt> wynosi 1, program skompiluje się bez żadnego problemu.

Przykład niespełnionego warunku:
 #include "static_assert.h"
 
 int main(int, char**)
 {
   STATIC_ASSERT(2 * 2 == 5);
 }
Próba skompilowania powyższego programu za pomocą [[gcc]] nie powiedzie się, wypisane zostaną mniej więcej takie komunikaty:
 sample.cc: In function 'int main(int, char**)':
 sample.cc:5: error: invalid use of undefined type 'struct static_assert_tmpl<false>'
 static_assert.h:3: error: declaration of 'struct static_assert_tmpl<false>'

Jak widać, działanie tej implementacji statycznej asercji opiera się na tym, że nie ma definicji szablonu klasy <tt>static_assert_tmpl</tt>, jest jedynie definicja jego specjalizacji dla wartości logicznej <tt>true</tt>. Fałszywy warunek sprawdzony przy pomocy makra <tt>STATIC_ASSERT()</tt> spowoduje więc wygenerowanie odwołania do klasy, której definicja nie istnieje, i w konsekwencji błąd kompilacji. Natomiast warunek prawdziwy skorzysta ze specjalizacji <tt>static_assert_tmpl<true></tt>, dzięki czemu skompiluje się bez żadnego problemu.

[[Kategoria:Programowanie]]

Wprowadzone zmiany będą natychmiast widoczne. Jeśli chcesz poćwiczyć, użyj brudnopisu.

Proszę pamiętać o tym, że wszelki wkład do serwisu funus.net może być edytowany, zmieniany lub usunięty przez innych użytkowników. Jeśli nie chcesz, żeby Twój tekst był dowolnie zmieniany przez każdego i rozpowszechniany bez ograniczeń, nie umieszczaj go tutaj.
Niniejszym jednocześnie oświadczasz, że ten tekst jest Twoim dziełem lub pochodzi z materiałów dostępnych na zasadach public domain albo kompatybilnych (zobacz także funus.net:Prawa_autorskie). PROSZĘ NIE UŻYWAĆ BEZ POZWOLENIA MATERIAŁÓW OBJĘTYCH PRAWEM AUTORSKIM!

Add Categories
		Programowanie

Opis zmian:

Anuluj | Pomoc w edycji (otwiera się w nowym oknie)

Źródło: "http://funus.net/wiki/index.php/Statyczna_asercja"

Edytujesz "Statyczna asercja" (fragment)

funus.net

Widok

Osobiste

Nawigacja

techniczne

Szukaj

Narzędzia