Jak mogę wyspecjalizować typedef i jego domyślny typ w inny sposób?

Question

mam coś takiego:

typedef int AnotherType; 
template <typename T> Func(T Value); 

// And I want to specialize these two cases separately: 

template <> bool Func<int>(int Value) {...} 
template <> bool Func<AnotherType>(AnotherType Value) {...} 

I naprawdę nie trzeba się specjalizować na int, co naprawdę potrzebne jest do wykonania różnych funkcji dla AnotherType. I nie mogę zmienić definicji Innego rodzaju ani funkcji podstawowej.

Przeciążenie nie pomaga z powodu SFINAE.

Answer 1

Można użyć BOOST_STRONG_TYPEDEF.

Answer 2

Odpowiedź brzmi: nie. Kiedy wpiszesz, utworzysz alias dla typu, a nie rzeczywisty typ sam w sobie. Kompilator potraktuje oba tak samo. Dlatego:

typedef int Foo; 
typedef int Bar; 

Bar bar = 1; 
Foo foo = bar; 

Kompiluje. Obaj są ints.

Answer 3

Jestem prawie pewny, że nie można traktować kompilatora int i elementu innego typu inaczej. Wszystkie typedef ma typy aliasów - w rzeczywistości nie tworzy nowego typu; z definicji konstruktu typedef kompilator będzie traktował int i odpowiednik typu atrybutu w każdym przypadku.

Jeśli potrzebujesz typu tylko z int, który jest traktowany inaczej, prawdopodobnie powinieneś po prostu utworzyć pojedynczego użytkownika struct. Większość operacji na zawartym int będzie kompilować się do tego samego kodu maszynowego, co zwykła int, ale teraz twój typ danych może mieć własne specjalizacje szablonowe i takie.

Answer 4

Kompilator potraktuje obie specjalizacje jako dokładnie takie same, ponieważ AnotherType jest po prostu inną nazwą dla int. Mówisz, że nie musisz specjalizować się w int, więc po prostu całkowicie usuń specjalizację i pozwól jej specjalizować się na jakimkolwiek typie, do którego przyda się AnotherType.

Answer 5

Nie mogę zmienić definicji funkcji innej czcionki ani funkcji podstawowej.

Następnie jesteś wkręcony. Przepraszam. Jedyną dostępną opcją, silnym typedef, nie jest opcja, jeśli nie możesz zmienić definicji, aby użyć silnego typedef.