[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);