Jak wykryć, czy dana klasa jest ostateczna w C++ 11?

Question

Kod pierwszy.

#include <iostream> 

using namespace std; 

struct A final {}; 
struct B {}; 

int main() 
{ 
    cout << is_final<A>::value << endl; // Output true 
    cout << is_final<B>::value << endl; // Output false 

    return 0; 
} 

Jak wdrożyć klasę is_final?

Answer 1

Cechy charakterystyczne są zwykle implementowane za pomocą idiomu SFINAE, który umieszcza potencjalnie niezdefiniowane wyrażenie wewnątrz deklaracji szablonu funkcji. Zastąpienie nazwy pliku w deklaracji powoduje błąd, ale w tym kontekście błąd jest pomijany, więc deklaracja jest albo używana, albo nie. Ale przeciążenie awaryjne wspiera potencjalnie brakującą deklarację. Kolejny bit kodu uzyskuje dostęp do funkcji wykrywania, czy wystąpiło wrażliwe przeciążenie, czy tylko kopia zapasowa.

To nie zadziała dla final, ponieważ może tylko spowodować awarię podczas tworzenia instancji szablonu. Nie ma możliwości przeciążenia klas i nie ma możliwości wstępnego zdefiniowania klasy, która zawiedzie, ale nie zatrzyma kompilacji na wypadek, gdyby pochodziła z wersji ostatecznej.

Standardowy cytat, C++ 11 §14.8.2/8:

Tylko nieprawidłowe typy i wyrażeń w bezpośrednim kontekście rodzaju funkcji i jej typów parametrów szablonu może spowodować awarii odliczenia. [Uwaga: Ocena podstawionych typów i wyrażeń może skutkować efektami ubocznymi, takimi jak tworzenie specjalizacji szablonów klas i/lub specjalizacjami szablonów funkcji, generowanie niejawnie zdefiniowanych funkcji itd. Takie efekty uboczne nie występują w "bezpośrednim" kontekście "i może spowodować, że program będzie źle sformułowany. - nota końcowa]

Answer 2

Nie wiem, czy to jest to, co chcesz, ale można zrobić coś takiego:

#include <iostream> 

struct Foo {}; 
struct Bar {}; 

template<typename T> 
struct is_final { 
    static const bool value = false; 
}; 
template<> 
struct is_final<Bar> { 
    static const bool value = true; 
}; 


int main(void) { 
    std::cout << is_final<Foo>::value << std::endl; 
    std::cout << is_final<Bar>::value << std::endl; 
} 

Answer 3

jako realizator GCC __is_final intrinisic (dla PR 51365) Jestem pewien, że nie można zrobić w bibliotece potrzebuje obsługi kompilatora.

Możesz zrobić kilka bardzo sprytnych rzeczy za pomocą funkcji SFINAE C++ 11 dla wyrażeń, ale aby wykryć, czy klasa jest ostateczna, z której musisz czerpać, i utworzyć instancję typu pochodnego w kontekście odjęcia od szablonu, ale wywodzące się z klasy odbywa się w deklaracji, a nie wyrażenia.

Powinieneś również pomyśleć, czy chcesz się dowiedzieć, czy użyto pseudo-słowa kluczowego final, czy też klasa nie może być uzyskana z innych powodów, na przykład z prywatnych konstruktorów.