Friend function with CRTP + enable_if is not working?

Question

The following code does not compile and I don't know why:

#include <type_traits>

// Base class definition
template<template<typename> class CRTP, typename T> class Base
{
    // Friend function declaration
    public:
        template<template<typename> class CRTP0, typename T0, class>
        friend int func(const Base<CRTP0, T0>& rhs);

    // Protected test variable
    protected:
         int n;
};

// Friend function definition
template<template<typename> class CRTP0, typename T0,
class = typename std::enable_if<true>::type>
int func(const Base<CRTP0, T0>& rhs)
{
    return rhs.n;
}

// Derived class definition
template<typename T> class Derived : public Base<Derived, T> {};

// Main
int main()
{
    Derived<int> x;
    func(x);
    return 0;
}

GCC 4.6.2 (and GCC 4.7.1 on LWS) tells me that :

error: 'int Base<Derived, int>::n' is protected

Meaning that basically, the friendship is not correctly detected. As this is just an extract of my code, I would like to put the definition of the friend function outside of the class definition, like here. So, what is the problem and how to solve it ?

EDIT : I've modified the code to try to isolate the problem and make it far more readable. The current enable_if is always true but for my real code, I will have a "real" condition, here it is just to isolate the problem.

EDIT2 : The liveworkspace is here : friend function problem

I hope this code is written just for fun, not gonna be used anywhere even if someone corrects it :) — Arunmu, Aug 19 '12 at 14:31
Of couse this is just a test code, but I have a real code based on this kind of unreadable syntax ... ;-) — Vincent, Aug 19 '12 at 14:39
I remember seeing bugs like this one with gcc failing to detect relationship between template types and the current context. I solved it with a hack, but my problem wasn't the same as yours, as mine involved a derived class's method instead of a friend function. — BatchyX, Aug 19 '12 at 15:12
The bug was reported here : http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54323 — Vincent, Aug 19 '12 at 16:20

score 0 · Answer 1 · answered Aug 19 '12 at 15:41

If you try to call func explicitly:

func<Derived, int, void>(x);

g++ complains with:

source.cpp:31:31: error: call of overloaded 'func(Derived<int>&)' is ambiguous
source.cpp:31:31: note: candidates are:
source.cpp:19:5: note: int func(const Base<CRTP0, T0>&) [with CRTP0 = Derived; T0 = int; <template-parameter-1-3> = void]
source.cpp:9:20: note: int func(const Base<CRTP0, T0>&) [with CRTP0 = Derived; T0 = int; <template-parameter-2-3> = void; CRTP = Derived; T = int]

I believe the problem is that the friend declaration is not being correctly identified with the function definition; instead another function template is being declared. This happens even if the class and function templates are predeclared.

score 0 · Accepted Answer · answered Aug 19 '12 at 18:47

I had similar problems with gcc. I think this is a compiler bug: Because your function template has three template parameters rather than the two in the friend declaration, it doesn't match them. In order for your intentions to work correctly with gcc, you must match the friend declaration exactly. This is most easily achieved by using the SFINAE on the function return type

 // Friend function definition
 template<template<typename> class CRTP0, typename T0>
 typename std::enable_if<true,int>::type
 func(const Base<CRTP0, T0>& rhs)
 {
    return rhs.n;
 }

Friend function with CRTP + enable_if is not working?

2 Answers2