Szablony funkcji i enable_if

Question

Witam, mam taki kod:

template < typename T= typename std::enable_if< std::is_base_of<T,sf::Drawable>::value>::type >
bool drawCollection(std::vector<T> *collection);

template<typename T>
inline bool Scene::drawCollection(std::vector<T>* collection)
{
	for (auto&var : collection)
		var.draw();

	return true;
}

gdzie każdy obiekt kolekcji z racji na użycie enable_if będzie miał metodę .draw, niestety wyskakują takie błędy:

Severity    Code    Description    Project    File    Line    Suppression State
Error    C2065    'var': undeclared identifier   

Severity    Code    Description    Project    File    Line    Suppression State
Error    C2228    left of '.draw' must have class/struct/union    

Severity    Code    Description    Project    File    Line    Suppression State
Error    C3312    no callable 'begin' function found for type 'std::vector<mv::Cell,std::allocator<_Ty>> *' 

Severity    Code    Description    Project    File    Line    Suppression State
Error    C3312    no callable 'end' function found for type 'std::vector<mv::Cell,std::allocator<_Ty>> *'  

wszystkie tyczą się tej pętli
 

ps: a no i niestety tę metodę dalej da się wywołać z innymi klasami...

Answer 1

http://en.cppreference.com/w/cpp/types/enable_if

W drugim parametrze template-a std::enable_if musisz podać, co ma się kryć pod std::enable_if<true>::type. Domyślnie jest to void. Także próbujesz iterować po vectorze obiektów typu void.

Jeszcze jedno:

for (auto&var : collection)
        var.draw();

collection jest wskaźnikiem, więc powinno być

for (auto&var : *collection)
        var.draw();

Kolejny błąd:

std::is_base_of<T,sf::Drawable>::value

Pomyliłeś kolejność parametrów. Powinno być, żeby to miało jakiś sens.

std::is_base_of<sf::Drawable, T>::value

Korzystaj z dokumentacji, plox

Comments

fakt, nie zwróciłem uwagi na ten wskaźnik, czyli jeśli wiem, że klasa dziedziczy z sf::Drawable to mam zrobić coś takiego?

		template < typename T= typename std::enable_if< std::is_base_of<T,sf::Drawable>::value,sf::Drawable>::type>

Po zamienieniu na to dalej jest błąd taki:

Severity    Code    Description    Project    File    Line    Suppression State
Error    C2228    left of '.draw' must have class/struct/union

---

Dopisałem jeszcze jeden błąd do mojej odpowiedzi. Luknij

---

dalej ten błąd z ostatniego mojego komentarza

---

czyli jeśli wiem, że klasa dziedziczy z sf::Drawable to mam zrobić coś takiego?

Jeśli chcesz, żeby domyślnie (o ilewartość z std::is_base_of da true) za T przyjmowane było sf::Drawable, to tak. Po zamienieniu kolejnością argumentów w is_base_of o czym już wspominałem.

---

        template < typename T= typename std::enable_if< std::is_base_of<sf::Drawable,T>::value,sf::Drawable>::type>

właśnie z tym ułożeniem jest ten błąd:

Severity    Code    Description    Project    File    Line    Suppression State 
Error    C2228    left of '.draw' must have class/struct/union

 

---

Przede wszystkim: w SFML rysuje się za pomocą obiektu okna (sf::Window/sf::RenderWindow itd.). Metoda sf::Drawable::draw jest prywatna (konkretnie to protected, ale żadna różnica z zewnątrz). Moja rada: czytaj dokumentacje, bo piszesz kompletnie po omacku. Po prostu czytaj zanim użyjesz danej klasy. To raczej nie jest powodem tego błędu, ale jeśli to nie pomoże, to nie widze nic więcej.

Btw. to jest jedyny błąd teraz?

---

tak, jedyny

---

Erm chwila...

Jak ty chcesz kiedykolwiek mieć vector obiektów sf::Drawable. sf::Drawable jest tylko interfejsem (nie da się utworzyć obiektów tej klasy). Sens miałby vector wskaźników na Drawable...

Poza tym.. Nawet nie mam pewności w jakiej instancji tego template-a wyrzuca ten błąd. Jeśli jako parametr template-a swojej funkcji dajesz int czy inny typ podstawowy, to error miałby sens.

---

uporałem się :) A to jeszcze zadam dodatkowo pytanie, jak zrobić coś podobnego z klasami?

gdy zrobię tak:

	template < typename T = typename std::enable_if< std::is_base_of<sf::Texture,T>::value, T>::type>

to i tak pozwala tworzyć obiekt nawet z floatem

---

W takim razie nie mam pojęcia. Powinno wyrzucać błąd kompilacji dla wszystkich typów nie dziedziczących z sf::Texture.

Tylko chwila... To nie bardzo ma sens. Domyślny argument (typ przyjęty za T) ma być ustalony w oparciu o T, które jest nieznane jeśli w ogóle dochodzi do momentu ustalania domyślnego argumentu. Zrób to tak, jak pokazał MetGang.

Answer 2

Osobiście polecam ten sposób:

#include <SFML/Graphics.hpp>

template <typename T, typename std::enable_if<std::is_base_of<sf::Drawable, T>::value, int>::type = {}>
bool DrawCollection(std::vector<T>& Collection, sf::RenderTarget& Target, sf::RenderStates& States)
{
    for(auto& Var : Collection) Target.draw(Var, States);

    return true;
}

int main()
{
    sf::RenderWindow Target;
    sf::RenderStates States;
    sf::Sprite Spr;
    std::vector<sf::Sprite> Vec;
    Vec.push_back(Spr);

    DrawCollection(Vec, Target, States);
}

Ten miszmasz w template - sprawdzony sposób - ma za zadanie wywalić błąd kompilacji. gdy prześlesz vector złych obiektów.

Render w SFMLu działa jak działa i musisz mieć jakiś Target, na którym możesz rysować i (opcjonalnie) RenderStates dla efektów. Da się to zrobić inaczej, ale ten sposób przedstawiony przeze mnie jest dość prosty. Jeśli masz to w jakiejś klasie to dobrze by było trzymać te zmienne właśnie w niej).

Comments

Zastanawia mnie  tylko = {} na końcu. Po co? I... to się kompiluje?

edit, dobra, nieważne. Coś mi mózg nie zaskoczył XD Anyway i tak zbędne te nawiasy.

---

Niekoniecznie zbędne, coś inaczej musisz mieć :p

To jest domyślna inicjalizacja zmiennej (w tym wypadku inta), równie dobrze mógłbyś dać = 0.

---

Tak, ale ten int nawet nie ma nazwy, więc go nie użyjesz w żaden sposób :P Nie przeszkadza, ale też nie pomaga.

---

Tworzenie tego typu funkcji dla sf::Drawable ogólnie nie ma sensu :p Kompilator i tak wywali błąd. Lepszy już static_assert.

Co do tego template to prawda nie posiada on nazwy, nie użyjesz go - on jest tylko po to, aby wywalić błąd, gdy warunek nie zostanie spełniony lub nakierować kompilator na odpowiednią funkcję. Taka wielozmienna specjalizacja szablonu.

Osobiście używałem tego przy przeciążaniu szablonu konstruktora dla kontenera zmiennej w języku skryptowym (coś na wzór std::any):

Var var1 = 10;
Var var2 = "lol";
Var var3 = MyObject();

Wiadomo, w każdym wypadku potrzebny jest inny konstruktor, ale też chciałbym aby dla każdego inta (char, short, int, long, long long i unsigned) był jeden konstruktor i dla każdej liczby zmiennoprzecinkowej też jeden (float, double, long double) i robienie N konstruktorów można zastąpić 1 szablonowym.

Może brzmi to dziwnie i zaplątanie, ale w moim wypadku było to dobre rozwiązanie ^^