Miért jó ha a függvény deklarációk és definíciók el vannak különítve hpp és cpp fájlokban? Miért jobb ez, mintha mindent a header-be írnék? Fordításnál ilyenkor mi történik?

Fordításnál nincs igazán különbség, a hpp és cpp fájlok ugyanolyan forrásfájlok a fordítónak. Viszont az egész függvénykönyvtár, tárgykód, linker, stb. struktúra megkívánja, hogy a külső bináris (tárgykód) hívás fordításánál a hívási szekvenciához, relatív címekhez, stb. szükséges infók legyenek megadva (header), amiben lehetőleg ne legyen fordítandó kód, csak deklaráció.

A kérdés egyébként ott kezdődik, hogy miért kell több fordítási egység, miért kellenek tárgykódok és linker, mi történik, amikor egyik fordítási egységből hívjuk a másikban lévő kódot (ill. a fordító ilyen hívást fordít). Ha ezt megérted, akkor a header dolgot is érteni fogod.

"Dinamikusan fordított függvénykönyvtárak..."

Igazából statikus esetben is ez a helyzet.