Egy sablonfüggvénynek a memóriacímét hogyan rendelhetem egy függvénymutatóhoz? És egy ilyen sablonfüggvény típusra hogyan hozhatok létre szinonimát a typedeffel?

Mivel, mint korábban említettem, olyan nincs, hogy sablonfüggvény, triviális a válasz. A template function nem egy önmagában létező függvény. Az egy kódrészlet, ami a fordítónak szól, és elmondja, hogy hogy lehet függvényeket gyártani adott típusok behelyettesítésével. Ez tehát nem sablonfüggvény, hanem függvénysablon. Amikor példányosítod, létrejön egy konkrét függvény, ami viszont már egy konkrét függvénytípus egy példánya, így egy hagyományos függvénypointerrel tudsz rá hivatkozni. Olyan mutatót nem tudsz csinálni, ami mindegyikre mutat (persze csinálhatsz egy smartpointert, de ez nem sima typedef).

Itt egy kis írás a témában: [link]