Czytanie standardu C ++ 11 Nie mogę w pełni zrozumieć znaczenia następującej wypowiedzi. Przykład jest bardzo mile widziany.

Dwa zestawy typów służą do określenia częściowego uporządkowania. Dla każdego z użytych szablonów istnieje oryginalny typ funkcji i typ przekształconej funkcji. [Uwaga: Tworzenie transformowanego typu opisano w 14.5.6.2. - Uwaga końcowa] Proces dedukcji używa typu transformowanego jako szablonu argumentu i oryginalnego typu drugiego szablonu jako szablonu parametru. Proces ten jest wykonywany dwa razy dla każdego typu biorącego udział w porównaniu częściowego uporządkowania: raz przy użyciu przekształconego szablonu-1 jako szablonu argumentu i szablonu-2 jako szablonu parametru i ponownie przy użyciu przekształconego szablonu-2 jako szablonu argumentu i szablonu-1 jako szablon parametrów
-N3242 14.8.2.4.2