?? ???: ?? ???? ???? ??

C? ?? ??? ??? ?? ??? ?????? ?? ??? ????? ?????. ??? ???? ??? ?? ? ??? ?? ???? ????? ????? ?????. ?? ??? ?? ??? ?????: C ?? ??? ? ??? ?? ???? ??????

? ??? ??? ????? ? ?? ??? ??? ???? ?????? ????. ??? ? ??? ????? ???? ??? ?? ??? ?? ?? ?? ???? ????.

? ?? ???? ??? ???? ??? ??? ???? ?? ?? ??? ??????. ???? ?? ?? ?? ??? ??????? ?????? ?? ???? ??? ????? ??? ? ????.

? ?? ??? ????? ?? ?? ??????.

#include <iostream>

using namespace std;

void say(char const s[]) { std::cout << s << std::endl; }

namespace detail {
    template< class T, class U >
    struct F {
        static void impl() { say( "1. primary template" ); }
    };

    template<>
    struct F<int, char> {
        static void impl() { say( "2. <int, char> explicit specialization" ); }
    };

    template< class T >
    struct F< char, T > {
        static void impl() { say( "3. <char, T> partial specialization" ); }
    };

    template< class T >
    struct F< T, int > {
        static void impl() { say( "4. <T, int> partial specialization" ); }
    };
}  // namespace detail

template< class T, class U >
void f() { detail::F<T, U>::impl(); }    

int main() {
    f<char const*, double>();       // 1
    f<int, char>();                 // 2
    f<char, double>();              // 3
    f<double, int>();               // 4
}

? ???? ?? ?? f? F ??? ???? ?? ??? ?????. ??? ???? ???? ??? ????? ??? ??? ?? ??? ? ?? ???? ??? ? ????.

?? ???? ?? ???? ?? ???? ??? ?? ?? ? ?? ?? ??? ??? ??? ?? ? ?? ?? ??? ?????. ??? ?? ?? ???? ???? ???? ?? ??? ??? ? ????.

? ??? C? ?? ???? ?? ???? ???? ??? ??????? ?? ?????. ??? ??? PHP ??? ????? ?? ?? ??? ?????!