我需要一個型別特征來檢測模板引數的任何函式引數是否是參考。此代碼正在運行，特征是“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);
}
uj5u.com熱心網友回復：
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...>{};
演示。
主模板假定它的引數是一個提供的類operator()（例如 lambda）。然后是普通函式指標和指向成員函式的指標的特化。主模板有效地委托給最后一個專業化。
轉載請註明出處，本文鏈接：https://www.uj5u.com/yidong/460425.html
上一篇：復制捕獲移動物件的lambda
下一篇：具有不同回傳型別的模板實體