Pytanie odnośnie funkcji C++

Question

Czy w C++ da się zrobić tablicę funkcji?

Np. coś takiego:

void func()[100];

void func()[15]{

cout << "1";

}

 

int main(){

func()[15];

}

Comments

Wstaw kod do bloczka

no i co ten kod miałby robić. Tablice funkcji?

Answer 1

Tablicę wskaźników na funkcje - da się. Tylko niezbyt taką skłądnią (ogólnie chyba powinieneś powtórzyć używanie tablic) :) Na przykład:

void func1(){ cout << "1"; }
void func2(){ cout << "2"; }
void func3(){ cout << "3"; }

using MyFuncType = void();
const MyFuncType *FUNCS[5] = { func1, func2, func3, func1, func2 };
 
int main(){
    FUNCS[3]();
}

 

Comments

Ciekawe, spróbuję tego użyć.

Answer 2

Można użyć wyrażeń lambd jako funkcji umieszczając to w osłonie (wrapper) std::function<> + std::vector jako kontener na dane.

#include <iostream>
#include <vector>
#include <functional>

using namespace std;

int main()
{
    vector<function<int(int)>> functions = { []( int a ){ return a+a; },
                                             []( int a ){ return a*a; },
                                             []( int a ){ return 3*a; } };


    for( const auto& funct : functions ) cout << funct(6) << endl;
}

 

Comments

Jasne. Tylko to kosztuje podwójne virtual bo pod spodem jest idiom wymazywania typu (type erasure).

Popatrz ile masz kodu asemblerowego tu: https://godbolt.org/z/x3njYW78Y

I tu: https://godbolt.org/z/r4dKa3zYP

---

Po zmianie kontenera na std:array oraz kompilacja z flagą -O3 skraca kod asemblera do 111 linijek.

Jeżeli sytuacja nie wymaga użycia gołych wskaźników na funkcję ( n.p. istotne względy wydajnościowe ), to wolę wariant z bardziej "elastycznym" kodem, który jest dla mnie łatwiejszy w późniejszym utrzymaniu/serwisowaniu.

---

to wolę wariant z bardziej "elastycznym" kodem, który jest dla mnie łatwiejszy w późniejszym utrzymaniu/serwisowaniu.

Bardziej ograniczony kod może być łatwiejszy w utrzymaniu, analizowaniu - bo wiadomo dokładnie czego nie może zrobić.

No i ogólnie YAGNI. Jeśli coś jest prostsze (i przy okazji wydajniejsze) to z natury jest lepszym defaultem od czegoś cięższego "bo może kiedyś będzie potrzebne".

Nie bez powodu na przykład nowsze języki lubią const-by-default, nawet jeśli nie pomaga im to w wydajności.

BTW:

skraca kod asemblera do 111 linijek.

To wciąż jest szalenie dużo jak na kod który jest no-opem ;)

---

Cóż. Ja potrzebuję poważniejszego powodu do użycia std::function niż przykład z 3 funkcjami. Właśnie biorąc pod uwagę objętość i wydajność kodu (a także ścisłe typowanie które i tak występuje w wersji ze wskaźnikiem). W niekorzystnych warunkach (oba wskaźniki w RAM i brak reprezentacji w cache), tracisz bardzo na wydajności. Nie wspominając już o objętości kodu. Ta ostatnia eliminuje (w zasadzie) zastosowanie w embedded gdzie zawsze poważnie rozważa się użycie funkcji wirtualnych (jawnych czy nie).

Takie same historie obecnie występują także np. przy stosowaniu zakresów (range). Kod puchnie niepomiernie i bardzo spada jego wydajność. Co nie znaczy że nie należy ich znać i tam gdzie to ma sens, używać.

Ogólnie te abstrakcje są obecnie jeszcze zbyt dalekie dla "kompetencji dzisiejszych kompilatorów" :) Wygodne, zgadzam się ale IMHO trzeba znać koszt tego luksusu :)

BTW: Każda lambda jest oddzielnym typem. Popatrz co wyprawiasz :) https://cppinsights.io/lnk?code=I2luY2x1ZGUgPGFycmF5PgojaW5jbHVkZSA8ZnVuY3Rpb25hbD4KIAp1c2luZyBuYW1lc3BhY2Ugc3RkOwogCmludCBtYWluKCkgewogICAgYXJyYXk8ZnVuY3Rpb248aW50KGludCk+LCAzPiBmdW5jdGlvbnMgPSB7IFtdKCBpbnQgYSApeyByZXR1cm4gYSthOyB9LAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBbXSggaW50IGEgKXsgcmV0dXJuIGEqYTsgfSwKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgW10oIGludCBhICl7IHJldHVybiAzKmE7IH0gfTsKIAogCiAgICBpbnQgc3VtID0gMDsKICAgIGZvciggY29uc3QgYXV0byYgZnVuY3QgOiBmdW5jdGlvbnMgKSB7CiAgICAgICAgc3VtICs9IGZ1bmN0KDQyKTsKICAgIH0KICAKICAgIHJldHVybiBzdW07Cn0=&insightsOptions=cpp17&std=cpp17&rev=1.0

---

Każda lambda jest oddzielnym typem. Popatrz co wyprawiasz :)

(To akurat nie jest problem, lambda nic nie łapiąca jest trywialnie konwertowalna na wskaźnik na funkcję, który kompilator jest w stanie inline'ować. Bardziej złożone lambdy też się dają inline'ować; zazwyczaj staje się to zero-cost abstraction. Prawdziwą barierą optymalizacji jest std::function.)

---

Tutaj jest przedstawiony ciekawy test/artykuł na temat wydajności std::function.

Answer 3

Można zrobić funkcję z parametrem w postaci tablicy

void funkcja(int tablica[])
{
    //dzialanie funkcji
}

 

Comments

Tak, jak najbardziej, jednak tutaj chodzi o konkretnie tablicę funkcji, czyli elementami tablicy miałyby być funkcje. Już w jednym poście adrian17 pokazał, że można stworzyć taką tablicę, tylko zamiast funkcji mamy wskaźniki na funkcje. 

Jak się dopiero co uczysz, to polecam książkę "Język C++. Szkoła programowania" Stephena Praty, wydanie VI. Całe po polsku i w sam raz na start :) 

---

Typ parametru to nie tablica, a wskaźnik