Как обеспечить, чтобы тип функции, переданный как аргумент шаблона, не изменял аргументы?

Question

Рассмотрим этот шаблон

template<typename FunctionType> 
void foo(FunctionType && function) 
{ 
    Bar b; 
    bar.mutateState(); 
    function(bar); 
} 

Я хочу, чтобы убедиться, что function не мутировать bar. Не следует компилировать следующее.

foo([](Bar &){}); 

Однако обе эти строки должны быть скомпилированы.

foo([](const Bar &){}); 
foo([](Bar){}); 

Какие методы могут быть использованы? Упрощение лучше, но я бы предпочел интроспекцию типа шаблона над std::function или сигнатурой указателя функции.

Answer 1

С SFINAE, вы можете сделать:

template<typename FunctionType> 
auto foo(FunctionType && function) 
-> decltype(function(std::declval<const Bar&>()), void()) 
{ 
    Bar bar; 
    bar.mutateState(); 
    function(bar); 
} 

Answer 2

Вы можете изменить foo вызвать function с версией const из bar:

template<typename FunctionType> 
void foo(FunctionType && function) 
{ 
    Bar bar; 
    bar.mutateState(); 
    auto const & c_bar = bar; 
    function(c_bar); 
} 

Answer 3

Только после публикации я понял, что я мог бы сделать следующее

template<typename T> 
typename std::add_const<T>::type &asConst(T &t) 
{ 
    return t; 
} 

template<typename FunctionType> 
void Foo(FunctionType && function) 
{ 
    Bar bar; 
    bar.mutateState(); 
    function(asConst(bar)); 
} 

Видимо, это входит в C++17, как std::as_const ,

Answer 4

Самый простой метод должен был бы использовать функцию as_const утилиты (с C++ 17):

template<typename FunctionType> 
void foo(FunctionType && function) 
{ 
    Bar b; 
    bar.mutateState(); 
    function(std::as_const(bar)); 
} 

Answer 5

Вы могли бы быть четко о вашем типе.

#pragma once 

class Bar 
{ 
    int a; 
public: 
    Bar() : a{0} 
    {} 
    void mutateState() 
    { 
     ++a; 
    } 
}; 

void foo(void(*function)(const Bar &)) 
{ 
    Bar bar; 
    bar.mutateState(); 
    function(bar); 
} 

int main() 
{ 
    foo([](const Bar &) 
    {}); 
    foo([](Bar) 
    {}); 
}