fork(4) download

#include <memory>
 
 
using namespace std;
 
 
class derived_op;
 
 
template<class Op>
class base_info :
    enable_shared_from_this<base_info<Op>>
{
public:
    void do_something_spawning_new_ops()
    {
        auto info = 
            enable_shared_from_this<base_info<Op>>::shared_from_this();
    }
};
 
 
class derived_info :
    public base_info<derived_op>
{
 
};
 
 
template<class Info>
class base_op
{
public:
    base_op(){}
    base_op(shared_ptr<base_op>){}
 
    shared_ptr<Info> m_info; 
};
 
 
class derived_op :
    public base_op<derived_info>
{
public:
    derived_op(){}
    derived_op(shared_ptr<base_op>){}
};
 
 
int main()
{
    derived_op d;
    // Next line fails to compile.
    base_op<base_info> b;
 
    return 0;
}
 
 

prog.cpp: In function 'int main()':
prog.cpp:54:22: error: type/value mismatch at argument 1 in template parameter list for 'template<class Info> class base_op'
     base_op<base_info> b;
                      ^
prog.cpp:54:22: error:   expected a type, got 'base_info'
prog.cpp:54:25: error: invalid type in declaration before ';' token
     base_op<base_info> b;
                         ^

Standard output is empty