Wpis z mikrobloga

@lechium06: No przecieƶ corner case z definicji jest zgodny ze standardem. W pytaniu masz szablon

Z
będący toƶsamością szablonu

Y
. Dla kaƶdego typu

Z
jest tym samym typem, co

Y
(podpunkt 2 pod zacytowanym w pytaniu paragrafem). Ale

Y
i

Z
są róƶne. Dla mnie to nie było oczywiste.
@KrzaQ2: Nie chcę jakoś przeginać z gdybaniem na temat definicji corner case'a, dla mnie to zwykle znaczyło coś w stylu "to działa tak i tak, chyba, że kompilujesz na mingw z przed wersji 0.3-alpha-2.1, to wtedy (...)". I tak, na pewno nie było to oczywiste.

Btw, dzięki za stronę, szukałem właśnie ciekawszego zajęcia niż śmieszne pieski w internecie.
@Hauleth:

typedef X Y;
jest równowaƶne

using Y = X;
, ale w przypadku tego pytania nie mówimy o konkretnych typach (bo faktycznie

Z
jest zawsze identyczne z

Y
), ale o

Z
i

Y
, które w tym przypadku najlepiej potraktować jako funkcje zwracające typy.

Tak jak

z(t)
jest zawsze równe

y(t)
w poniƶszym przykładzie, samo

z
jest róƶne od

y
.

int y(int t){
return t;
}
int z(int