fork download

copy

#include <functional>
#include <iostream>
 
template<typename T>
void func_a(int a, T t)
{
	std::cout << "I'm called first" << std::endl;
	t();
}
 
template<typename T>
void func_b(T t)
{
	t();
}
 
template<typename T>
void func_c(T t)
{
	func_b(std::bind(func_a<T>, 1, t));
}
 
template<typename T>
void func(T a) { }
 
int main()
{
	func_c(std::bind(func<int>, 1));
	return 0;
}
 

prog.cpp: In function 'void func_b(T) [with T = std::_Bind<void (*(int, std::_Bind<void (*(int))(int)>))(int, std::_Bind<void (*(int))(int)>)>]':
prog.cpp:20:2:   instantiated from 'void func_c(T) [with T = std::_Bind<void (*(int))(int)>]'
prog.cpp:28:32:   instantiated from here
prog.cpp:14:2: error: conversion from 'std::result_of<const std::_Bind<void (*())()>()>::type' to non-scalar type 'std::_Bind<void (*(int))(int)>' requested
prog.cpp:20:2:   instantiated from 'void func_c(T) [with T = std::_Bind<void (*(int))(int)>]'
prog.cpp:28:32:   instantiated from here
prog.cpp:14:2: error: conversion from 'std::result_of<std::_Bind<void (*())()>()>::type' to non-scalar type 'std::_Bind<void (*(int))(int)>' requested
prog.cpp:14:2: error: no match for call to '(std::_Bind<void (*(int, std::_Bind<void (*(int))(int)>))(int, std::_Bind<void (*(int))(int)>)>) ()'

Standard output is empty