Parametertyp von Templatefunktion feststellen

Sone

deinvater schrieb:

...

Natürlich, so geht das. Kopf->Tisch
:Sone geht sich den Kopf verbinden, der jetzt zu bluten begonnen hat:

@volkard: Ist natürlich doch SFINAE. Interessant, der Trick ist gut. Aber falsch angewendet, weil du DefaultConstructible forderst, was nicht sein muss.

camper

deinvater schrieb:

volkard schrieb:

Wie heißt dieser Trick richtig?

SFINAE

Ich mag ein Upgrade davon, SFINAE plus ADL-Trick von boost::swap plus mit Prioritäten:

// Versuch 1: getHashCode()
template <typename T>
auto getHashCode(T const& t) -> decltype(t.getHashCode()) {
    return t.getHashCode();
}
// Versuch 2: get_hash_code()
template <typename T,typename>
auto getHashCode(T const& t) -> decltype(t.get_hash_code()) {
    return t.get_hash_code();
}
// Versuch 3: std::hash
template <typename T,typename,typename>
auto getHashCode(T const& t) -> decltype(std::hash<T>{}(t)) {
    return std::hash<T>{}(t);
}

Verstehe den Code nicht. Wie sollen denn die überzähligen Templateparameter in 2 und 3 bestimmt werden?

volkard

Sone schrieb:

@volkard: Ist natürlich doch SFINAE. Interessant, der Trick ist gut. Aber falsch angewendet, weil du DefaultConstructible forderst, was nicht sein muss.

Stimmt auffallend.
War auch mehr so in die Luft schlampig geworfen, weil ich dachte, dieses Trennen ist das, was dem Threadersteller am meisten hilft. War mir sicher, ihr verbessert den Code. Hätte aber dazuschreiben sollen, daß das nur eine Skizze war.

camper schrieb:

Verstehe den Code nicht. Wie sollen denn die überzähligen Templateparameter in 2 und 3 bestimmt werden?

Oh, ich dachte, ich hätte das mal mit typename=void getestet, aber im Code von damals fehlen die entscheidenden Tests.

Dann halt auch in C++11 der gute alte Trick mit der Extra-Funktion mit int - und ... -Überladung.

volkard

Sone schrieb:

Irgendwie ist das Design auch kacke. Ich hätte da eher auf SFINAE mit
template<typename T>
struct HasGetHashCodeMethod

Das hatte ich zuerst, aber innendrin ein wenig anders implementiert, nbämlich mit decltype(T().getHashCode()) in HasGetHashCodeMethod. Aber dann ist mir aufgefallen, daß ich im Prinzip nur den SF von decltype(T().getHashCode()) über mehrere komische Begriffe doch nur zum Return-Typ transportiere und hab's direkt hingeschrieben.

camper

deinvater schrieb:

camper schrieb:

Verstehe den Code nicht. Wie sollen denn die überzähligen Templateparameter in 2 und 3 bestimmt werden?

Oh, ich dachte, ich hätte das mal mit typename=void getestet, aber im Code von damals fehlen die entscheidenden Tests.

Dann halt auch in C++11 der gute alte Trick mit der Extra-Funktion mit int - und ... -Überladung.

Bei 3 Varianten kann man auf Dummy-Argumente noch verzichten

// Versuch 1: getHashCode()
template <typename T>
auto getHashCode(T const& t) -> decltype(t.getHashCode()) {
    return t.getHashCode();
}
// Versuch 2: get_hash_code()
template <typename T,typename... U>
auto getHashCode(T const& t, const U&...) -> decltype(t.get_hash_code()) {
    return t.get_hash_code();
}

template <typename T, typename... U>
T&& get_first(T&& x, U&&) {
    return std::forward<T>(x);
}
// Versuch 3: std::hash
template <typename... T>
auto getHashCode(T const&... t) -> decltype(std::hash<T>{}(get_first(t...))) {
    return std::hash<T>{}(get_first(t...));
}