Szablony funkcji

Question

Witam mam pytanie odnosnie tego kodu:

http://wklej.org/id/1993823/

1.Jesli napiszemy tak:

    suma<int>(x);
    suma<float>(y);

To w miejsce

template <typename T>
T suma(T *tab)

Wskoczy int potem float czyli jest to funkcja zwracajaca to dlaczego cout dziala i wypisuje?

2.

Jesli wypiszemy tak:

    int x[4] = {1,2,3,4};
    float y[4] = {5,6,7,8};

    suma<int>(x);
    suma<float>(y);

To przy wywolywaniu funkcji nie musze podawac int lub float bo i tak juz jest typ wczesniej podany i tez powinno dzialac co nie?

Answer 1

1.0. Twoja funkcja suma nic nie zwraca (UB).

1.5. Wypisanie masz na końcu funkcji i będzie miało ono miejsce przy każdym wywołaniu.

2. Nie musisz podawać argumentów szablonu w <>. Zostanie on "wykryty" w czasie dedukcji typów parametrów (http://en.cppreference.com/w/cpp/language/template_argument_deduction).

Answer 2

1. Ogólnie ten szablon funkcji nie jest poprawny, gdyż nie zwraca żadnej wartości, choć posiada typ.
2. Kompilator sam może się domyśleć, o jaki typ ci chodzi, ale musi być to zdeterminowane przez argumenty funkcji - wtedy nie musisz pisać argumentów w nawiasach ostrych <>.