Явная специализация шаблонной функции с использование decltype

template<typename T>
auto CalcSum(T num1, T num2) -> decltype (num1 + num2)
{
    return num1 + num2;
}
 
template<>
Coord CalcSum<Coord>(Coord c1, Coord c2)
{
    return Coord(c1.X + c2.X, c1.Y + c2.Y);
}

template<typename T>
auto CalcSum(T num1, T num2) -> decltype (num1 + num2) // это полноценная шаблонная функция
{
    return num1 + num2;
}
 
template<>
Coord CalcSum(Coord c1, Coord c2) // а это лишь ее спецификация
{
    // ...
}

template<typename T>
T CalcSum(T num1, T num2); // объявление шаблонной функции
 
template<>
Coord CalcSum(Coord c1, Coord c2) // и ее спецификация
{
    // ...
}

struct Coord{};
 
Coord operator+(Coord, Coord)
{ 
    return {};
}
 
template<typename T>
auto CalcSum(T num1, T num2) -> decltype(num1 + num2);
 
template<>
Coord CalcSum(Coord, Coord) 
{
    return {};
}
 
int main()
{
    const Coord a, b;
    const auto c = CalcSum(a, b);
    (void) c;
}

template<typename T>
T CalcSum(T num1, T num2)
{
    return num1 + num2;
}
 
template <>
Coord CalcSum<Coord>(Coord c1, Coord c2)
{
    return Coord(c1.X + c2.X, c1.Y + c2.Y);
}

struct Coord 
{ 
    Coord(int x, int y) : X(x), Y(y) {} 
    
    int X, Y;  
    
    Coord operator+(Coord const & x) const 
    { 
        return Coord(x.X + X, x.Y + Y);
    }
};
 
template<typename T>
auto CalcSum(T num1, T num2) -> decltype (num1 + num2) // <-- это правило, по которому выводится тип возвращаемого значения
{
    return num1 + num2;
}
 
 // <-- чтобы это могло считаться специализацией, правила основного шаблона должны давать такой же результат, как указан здесь
template<>
Coord CalcSum<Coord>(Coord c1, Coord c2)
{
    return Coord(c1.X + c2.X, c1.Y + c2.Y);
}