Поясните, пожалуйста, как работает этот код, и почему используется амперсанд, а не звездочка?

[Sergy__]

#include <iostream>
using namespace std;
typedef long (*Long_Long)(long, long, short);
typedef float (*Float_Float) (float, float, float);
typedef string(*String_String) (string, string, string);
typedef double (*Double_2Char) (double, char, char);
typedef double (*Double_Long_Char) (double, long, char);
// typedef string(*String_2Char) (string, char, char);
typedef string(*String_Long_Char) (string, int, int);
template <typename T1, typename T2, typename T3> T1 SUMMA(T1 x1, T2 x2, T3 x3)
{
T1 z= x1 + (T1)x2 + (T1)x3;
return z;
}
int main()
{
void* ptr;
((Long_Long&)ptr) = SUMMA;
cout << ((Long_Long&)ptr)(80000, 10000, 455) << endl;
(Float_Float&)ptr = SUMMA;
cout << ((Float_Float&)ptr)(1.2e+38, 0.8e+38, 1.4e+38) << endl;
((String_String&)ptr) = SUMMA;
cout << ((String_String&)ptr)("ABCD", "efgh", "12345") << endl;
((Double_2Char&)ptr) = SUMMA;
cout << ((Double_2Char&)ptr)(1000, 'A', 'a') << endl;
((Double_Long_Char&)ptr) = SUMMA;
cout << ((Double_Long_Char&)ptr)(1000, 100000, 'A');
return 0;
}

[Алексей1153]

Сообщение от Sergy__

почему используется амперсанд, а не звездочка

где именно?

в коде полно UB

вот так лучше

#include <iostream>

template <typename T1, typename T2, typename T3>
auto SUMMA(T1 x1, T2 x2, T3 x3)
{
    return x1 + x2 + x3;
}

int main()
{
    using std::string;
    
    {auto p=&SUMMA<long,long,short>       ; std::cout << p(80000, 10000, 455) << '\n';}
    {auto p=&SUMMA<float, float, float>   ; std::cout << p(1.2e+38, 0.8e+38, 1.4e+38) << '\n';}
    {auto p=&SUMMA<string, string, string>; std::cout << p("ABCD", "efgh", "12345") << '\n';}
    {auto p=&SUMMA<double, char, char>    ; std::cout << p(1000, 'A', 'a') << '\n';}
    {auto p=&SUMMA<double, long, char>    ; std::cout << p(1000, 100000, 'A') << '\n';}
    
    return 0;
}

[digitalis]

Среди множества расшифровок UB не нашёл ничего соответствующего - может быть : Unclear Bardak ?

[Алексей1153]

digitalis, undefined behavior

[digitalis]

Вот оно как...
Но в общем-то - моя расшифровка недалека от этой

[Алексей1153]

да.