Funkcje auto

Question

Hejka, mógłby mi ktoś wytłumaczyć jak stworzyć prototyp funkcji auto?

#include <iostream>
using namespace std;
template <class T,class T1> inline auto pokaz(T,T1)->double;
int main()
{
    cout <<pokaz(6.1,5.2);
}
template <class T,class T1> inline auto pokaz(T a,T1 b) -> decltype(a+b)
{
    decltype(a+b) x = a + b;
    return x;
}

Mam taki kod, ale nie chce się skompilować, zgaduje że ze względu na zły prototyp lecz nie wiem co powinienem zmienić.

Answer 1

Powinieneś zmienić w deklaracji funkcji typ zwracany z double na decltype(a+b). Wiąże się to z tym, że musisz nadać jakieś nazwy parametrom.

Comments

Przepraszam bardzo, za co ten downvote? Coś napisałem źle? Kod po poprawie działa bez zarzutu:

#include <iostream>
using namespace std;
template <class T,class T1> inline auto pokaz(T a,T1 b)->decltype(a+b);
int main()
{
    cout <<pokaz(6.1,5.2);
}
template <class T,class T1> inline auto pokaz(T a,T1 b) -> decltype(a+b)
{
    decltype(a+b) x = a + b;
    return x;
}

#EDIT Pytam serio. Chodzi o użycie inline, czy o to że zdefiniowałem szablon po jego użyciu?

Answer 2

Wystarczy poszukać po necie błędu: http://stackoverflow.com/questions/20749951/how-do-i-deduce-auto-before-a-function-is-called

Lecz po krótce. Nie jest to możliwe, aby stworzyć prototyp funkcji z auto, a później dać jej ciało (tak samo jak z constexpr i po części z inline). A dlaczego? Podobny scenariusz jest ze zmiennymi:

auto N = 0u; // działa, kompilator może przeprowadzić dedukcję

auto N;
N = 0u; // błąd, brak dedukcji już we wcześniejszej linii

Zauważ, że jeśli chodzi o funkcję (jak i zmienne extern) ich deklaracja i definicja mogą znajdować się w dwóch osobnych plikach, a model kompilacji C++ nie pozwala na latanie po wszystkich plikach i sprawdzanie gdzie co jest.

Z auto jest jak z szablonami, kompilator w trakcie kompilacji musi stworzyć nową funkcję na podstawie szablonu, a nie zrobi tego bez jej ciała.

Answer 3

#include <iostream>
using namespace std;

template <class T,class T1> inline auto pokaz(T a,T1 b)
{
    decltype(a+b) x = a + b;
    return x;
}

int main()
{
    cout << pokaz(6.1,5.2);
}

Ten kod działa.

1. Nie można prototypować funkcji z szablonami. Muszą być deklarowane od razu w całości.

2. Nie potrzebujesz "->double" ani "->decltype(a+b)". ponieważ funkcja jest auto. Sama wie jakiego ma być typu.

3.PS. Nie musisz pisać "inline" kompilator zrobi to sam.