Mehrdeutige Überladung von Funktionen wie "msg (long)" mit Kandidaten "msg (int32_t)" und "msg (int64_t)"

Hinweis: Das ist sehr ähnlich zuBestimmen Sie die Anzahl der Bits im Integraltyp zur KompilierungszeitDies ist jedoch eine stark vereinfachte Version, die alle in einer einzigen enthalten ist.cpp

Bearbeiten: Hinzugefügt eine Lösung - obwohl eine richtigeErläuterung wurde gegeben (und akzeptiert) Ich fand einen Weg, um das Problem generisch zu lösen.

Problem

Das Problem ist mit Funktionen wie

<code> msg(int32_t);
 msg(int64_t);
</code>

ein Anruf wie

<code>long long myLong = 6;
msg(myLong);    // Won't compile on gcc (4.6.3), call is ambiguous
</code>

Dies wird unter MSVC kompiliert. Kann jemand eine Erklärung dafür liefern, warum dies auf gcc fehlschlägt (ich gehe davon aus, dass es wahrscheinlich damit zu tun hat, dass gcc normalerweise strikt standardkonform ist) und ein Beispiel, wie man den gleichen Effekt korrekt erzielt?

<code>#include <iostream>
#include <stdint.h>

#include <boost/integer.hpp>

using namespace std;

void msg(int v) { cout << "int: " << sizeof(int) << ' ' << v << '\n'; }
void msg(long v) { cout << "long: " << sizeof(long) << ' ' << v << '\n'; }
void msg(long long v) { cout << "long long: " << sizeof(long long) << ' ' << v << '\n'; }

void msg2(int32_t v) { cout << "int32_t: " << sizeof(int32_t) << ' ' << v << '\n'; }
void msg2(int64_t v) { cout << "int64_t: " << sizeof(int64_t) << ' ' << v << '\n'; }
void msg2(uint32_t v) { cout << "uint32_t: " << sizeof(uint32_t) << ' ' << v << '\n'; }
void msg2(uint64_t v) { cout << "uint64_t: " << sizeof(uint64_t) << ' ' << v << '\n'; }


int main()
{

    int myInt = -5;
    long myLong = -6L;
    long long myLongLong = -7LL;

    unsigned int myUInt = 5;
    unsigned int myULong = 6L;
    unsigned long long myULongLong = 7LL;

    msg(myInt);
    msg(myLong);
    msg(myLongLong);

    msg2(myInt);
    msg2(myLong);     // fails on gcc 4.6.3 (32 bit)
    msg2(myLongLong);

    msg2(myUInt);
    msg2(myULong);   // fails on gcc 4.6.3 (32 bit)
    msg2(myULongLong);

   return 0;
}

// Output from MSVC  (and gcc if you omit lines that would be commented out)
int: 4 5
long: 4 6
long long: 8 7
int32_t: 4 -5
int32_t: 4 -6   // omitted on gcc
int64_t: 8 -7
uint32_t: 4 5
uint32_t: 4 6   // omitted on gcc
uint64_t: 8 7
</code>
Lösung

Die Lösung ist die Bereitstellung einer Funktion, die erfolgreich zugeordnet werden kannint, long undlong long zum entsprechendenint32_t oderint64_t. Dies kann zur Laufzeit einfach über erfolgenif (sizeof(int)==sizeof(int32_t)) Typanweisungen, aber eine Lösung zum Kompilieren ist vorzuziehen. Eine Lösung zum Kompilieren ist über die Verwendung von verfügbarboost::enable_if.

Das Folgende funktioniert auf MSVC10 und gcc 4.6.3. Die Lösung könnte durch Deaktivieren für nicht integrale Typen weiter verbessert werden, dies liegt jedoch außerhalb des Bereichs dieses Problems.

<code>#include <iostream>
#include <stdint.h>

#include <boost/integer.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/is_signed.hpp>
#include <boost/type_traits/is_unsigned.hpp>

using namespace std;

template <class InputT>
typename boost::enable_if_c<sizeof(InputT)==sizeof(int32_t) && boost::is_signed<InputT>::value,
 int32_t>::type ConvertIntegral(InputT z) { return static_cast<int32_t>(z); }

template <class InputT>
typename boost::enable_if_c<sizeof(InputT)==sizeof(int64_t) && boost::is_signed<InputT>::value, 
int64_t>::type ConvertIntegral(InputT z) { return static_cast<int64_t>(z); }

template <class InputT>
typename boost::enable_if_c<sizeof(InputT)==sizeof(uint32_t) && boost::is_unsigned<InputT>::value, 
uint32_t>::type ConvertIntegral(InputT z) { return static_cast<uint32_t>(z); }

template <class InputT>
typename boost::enable_if_c<sizeof(InputT)==sizeof(uint64_t) && boost::is_unsigned<InputT>::value, 
uint64_t>::type ConvertIntegral(InputT z) { return static_cast<uint64_t>(z); }

void msg(int v) { cout << "int: " << sizeof(int) << ' ' << v << '\n'; }
void msg(long v) { cout << "long: " << sizeof(long) << ' ' << v << '\n'; }
void msg(long long v) { cout << "long long: " << sizeof(long long) << ' ' << v << '\n'; }


void msg2(int32_t v) { cout << "int32_t: " << sizeof(int32_t) << ' ' << v << '\n'; }
void msg2(int64_t v) { cout << "int64_t: " << sizeof(int64_t) << ' ' << v << '\n'; }
void msg2(uint32_t v) { cout << "uint32_t: " << sizeof(uint32_t) << ' ' << v << '\n'; }
void msg2(uint64_t v) { cout << "uint64_t: " << sizeof(uint64_t) << ' ' << v << '\n'; }

int main()
{

    int myInt = -5;
    long myLong = -6L;
    long long myLongLong = -7LL;

    unsigned int myUInt = 5;
    unsigned int myULong = 6L;
    unsigned long long myULongLong = 7LL;

    msg(myInt);
    msg(myLong);
    msg(myLongLong);

    msg2(ConvertIntegral(myInt));
    msg2(ConvertIntegral(myLong));
    msg2(ConvertIntegral(myLongLong));

    msg2(ConvertIntegral(myUInt));
    msg2(ConvertIntegral(myULong));
    msg2(ConvertIntegral(myULongLong));

   return 0;
}
</code>

Antworten auf die Frage(2)

Ihre Antwort auf die Frage