[ConceptGCC]|
[ConceptGCC] |
ConceptGCC :Re: Overload resolution bug calling associated non-member functions with ConceptGCC-BoostCon |
From: Douglas Gregor (dgregor_at_[hidden])
Date: 2007-06-19 06:09:07
Tom Honermann wrote:
> Compiling the following code with conceptgcc-boostcon on Linux/x86
> results in this error message:
>
> file.cpp: In function 'int Action(const color_type&) [with
> color_type = color]':
> file.cpp:25: instantiated from here
> file.cpp:21: error: no matching function for call to 'tint(const
> color&)'
> file.cpp:5: note: candidates are: int&
> Color<color_type>::tint(color_type&)
> file.cpp:4: note: int
> Color<color_type>::tint(const color_type&)
>
> The code:
>
> #include <concepts>
>
> concept Color<typename T> {
> int tint(T); // #1
> int& tint(T&); // #2
> }
> struct color {
> int m_tint;
> color() : m_tint(0) {}
>
> int tint() const { return m_tint; } // #1
> int& tint() { return m_tint; } // #2
> };
> concept_map Color<color> {
> int tint(const color& c) { return c.tint(); } // #1
> int& tint(color& c) { return c.tint(); } // #2
> }
>
> template<Color color_type>
> int Action(const color_type& color) {
> return tint(color); // should choose overload #1 since #2
> requires a non-const argument
> }
>
> int main() {
> return Action(color());
> }
>
> I took a look through the reported tickets and didn't see anything
> that appeared to be a match for this. If this is not a known issue,
> please let me know and I'll open a ticket for it.
That's a strange error that I've not seen before. Yes, please open a
ticket for it. Thanks!
- Doug