3 Nov
2012
3 Nov
'12
2:26 p.m.
On 03/11/12 03:06, Matt Calabrese wrote:
On Fri, Nov 2, 2012 at 8:36 PM, Steven Watanabe <watanabesj@gmail.com>wrote:
I haven't checked this, but it's the behavior that I would expect.
That seems surprising to me. It's a simple alias here, so I would expect it to be exactly that -- an alias. If I make a typedef of a type, I expect it to alias that type such that is_same tells me that are the same (which it, of course, does). An alias should, whenever possible, be exactly that, an alias.
A template alias is more like a mapping between types. Finding whether mappings are equivalent is a difficult task.