Czy mogę uzyskać dostęp do elementu struct/class z szablonu?

Question

Co chcę zrobić, to utworzyć funkcję, która akceptuje dowolną klasę lub strukturę (za pośrednictwem szablonów), ale również ma funkcję, która zakłada, że ​​zawsze istnieje określony element w klasie lub strukturze przekazanej.

W chyba-nie-poprawny kod, będzie to wyglądać mniej więcej tak:

template <class inputType> 
int doSomething(inputType voxel) 
{ 
    return voxel.density; 
} 

chcę go założyć, że density członek zawsze będzie tam i że będzie ona zawsze być int (lub cokolwiek). Czy mogę to zrobić? A jeśli tak, co się stanie, jeśli density nie istnieje? Czy po prostu wyrzuci błąd kompilatora?

Answer 1

Jest to całkowicie legalne, szablony w C++ nie są porównywalne z innym podejściem (myślę, że Java), który sprawdza typową metodę lub klasy, zachowując zmienną typu.

Szablon C++ jest kompilowany z każdym możliwym typem, którego używasz, więc każda instancja dla każdego określonego typu jest kompilowana i sprawdzana. Jeśli spróbujesz uzyskać dostęp do pola, które nie jest zawarte w typie, którego używasz, używając doSomething, otrzymasz błąd kompilatora.

Answer 2

Z pewnością możesz to zrobić, szablony będą tworzone w czasie kompilacji, a jeśli typ nie ma tego elementu, to nie będzie się kompilował i otrzymasz błąd. Funkcje szablonów są w zasadzie umowami i dopóki typ, którego używasz, jest zgodny z umową, wtedy będzie działać.

W tym przypadku chciałbym również zaproponować eksperymentowanie z nim, strony takie jak LiveWorkSpace sprawiają, że eksperymentowanie z C/C++ jest łatwe i bezbolesne, gdziekolwiek jesteś i obsługują najnowsze wersje. Dowiesz się o wiele więcej, wypróbowując takie rzeczy. Możesz znaleźć więcej takich narzędzi w poprzednim thread.