c ++类型特征来检测是否有任何函数参数是引用

Question

我需要一个类型特征来检测模板参数的任何函数参数是否是引用。这段代码有效，特征是“is_any_param_reference”并且触发了 static_assert foo 的签名从 void foo( std::string s, int i) 更改为 void foo( std::string& s, int i)（第一个参数转换为引用）。

但 id 不适用于 lambdas... 如果我使用它不会编译：

int main()
{ 
    auto foo2 = [](std::string s, int i){ std::cout << s << " " << i << std::endl; };
    some_function( foo2, s, i  );
}

知道如何生成也适用于 lambda 的类型特征吗？

谢谢！！

#include <iostream>
#include <string>
#include <type_traits>

using namespace std;

template<typename ... A>
struct any_is_reference : std::false_type {};
template<typename A, typename ... P>
struct any_is_reference<A, P...>: std::conditional_t< std::is_reference<A>::value , std::true_type, any_is_reference<P...> >::type{};

template<typename Sig> struct is_any_param_reference;
template<typename R, typename...Args>
struct is_any_param_reference<R(*)(Args...)>: any_is_reference<Args...>{};

template< typename Sig >
inline constexpr bool is_any_param_reference_v = is_any_param_reference<Sig>::value;

template< typename F , typename ... Args>
void some_function( F f, Args... args)
{
    static_assert(!is_any_param_reference< F >::value, "FUNCTION MUST NOT HAVE PARAMETERS BY REFERENCE");
    
    f(args...);
}

void foo( std::string s, int i)
{
    std::cout << s << " " << i << std::endl;
}

int main()
{
    const std::string s = "Hello";
    int i = 0;
    some_function(foo, s, i);
}

Answer 1

template<typename T> struct is_any_param_reference :
    is_any_param_reference<decltype(&T::operator())>{};

template<typename R, typename...Args>
struct is_any_param_reference<R(*)(Args...)>: any_is_reference<Args...>{};

template<typename T, typename R, typename...Args>
struct is_any_param_reference<R(T::*)(Args...)>: any_is_reference<Args...>{};
template<typename T, typename R, typename...Args>
struct is_any_param_reference<R(T::*)(Args...) const>: any_is_reference<Args...>{};

Demo.

主模板假定它的参数是 class 提供 operator()（例如 lambda）。然后是普通函数指针和 pointer-to-member-function 的特化。主要模板有效地委托给最后一个专业化。

c ++类型特征来检测是否有任何函数参数是引用

c++ type trait to detect if any function argument is reference

c++

lambda

templates

typetraits

c++11