[ConceptGCC]

ConceptGCC : Re: Associated type as return type.

From: Jacob Smith (jaroslov_at_[hidden])
Date: 2008-08-18 22:29:18

• Next message: Christopher Eltschka: "Re: Associated type as return type."
• Previous message: hirohito none: "Re: Associated type as return type."
• In reply to: hirohito none: "Re: Associated type as return type."
• Next in thread: Christopher Eltschka: "Re: Associated type as return type."

On Mon, Aug 18, 2008 at 3:28 PM, hirohito none <hitobasira_at_[hidden]> wrote:

> > Since the struct 'Bar' does not have a function that satisfies the
> > requirements of your concept, you have to add a concept_map, for example:
>
> That means I can't write concept which access it's member variables?
>
>
I did not mean to imply that. It appears that your particular combination of
an auto concept with just the one default method "does not work". See next
response.

On Mon, Aug 18, 2008 at 8:48 PM, hirohito none <hitobasira_at_[hidden]> wrote:

> also, i wonder why default value for function value() can't be used.
>
>
I know default methods work in some cases, for instance, the concept
EqualityComparable uses a default implementation for operator!=, defined in
terms of operator==. I don't know if your particular usage is legal for the
concepts proposal, or if ConceptGCC implements that functionality.

-j.

• text/html attachment: attachment

• Next message: Christopher Eltschka: "Re: Associated type as return type."
• Previous message: hirohito none: "Re: Associated type as return type."
• In reply to: hirohito none: "Re: Associated type as return type."
• Next in thread: Christopher Eltschka: "Re: Associated type as return type."