Re: [boost] Help! Detecting that two template aliases are equal.

Subject: Re: [boost] Help! Detecting that two template aliases are equal.
From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2012-11-03 10:26:01

On 03/11/12 03:06, Matt Calabrese wrote:
> On Fri, Nov 2, 2012 at 8:36 PM, Steven Watanabe <watanabesj_at_[hidden]>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.