Indiana Unversity logo[ConceptGCC]

ConceptGCC :

Re: Addable

From: Christopher Eltschka (celtschk_at_[hidden])
Date: 2007-03-08 14:20:41


Martin Sebor wrote:
> Jaakko Jarvi wrote:
>> Yes, it is normal behavior.
>> The operator+(foo, foo) is only in scope constrained with Addable<foo>.
>> The following should work (assuming your concept_map Addable<foo>):
>>
>> template <Addable T>
>> void bar(T t) { t + t; }
>
> Is it possible to call the same operator+ from a non-template?
> Assume I can't change the concept map.

The following seems to work:

foo a, b;
foo c = std::Addable<foo>::operator+(a, b);