我需要創建一個可以接受 aint *或 a的 lambda 函式float *，例如，類似
auto func = [](void* ptr) {
// do some assignments with the pointer
}
目前，我正在使用這種void *方法，但我想知道還有哪些其他方法可以實作我想要的？
我無法訪問我的代碼庫中的 C 17 功能，因此必須堅持使用 C 14 或更低的語意。
uj5u.com熱心網友回復：
C 14 具有通用 lambda，這意味著您可以在它們上使用 SFINAE，例如在它們的尾隨回傳型別中：
#include <type_traits>
template <typename T> struct valid_ptr_type : std::false_type {};
template <> struct valid_ptr_type<int *> : std::true_type {};
template <> struct valid_ptr_type<float *> : std::true_type {};
template <typename T> constexpr bool valid_ptr_type_v{valid_ptr_type<T>::value};
int main() {
// only allow ptr args that fulfills
// the valid_ptr_type_v<decltype(ptr)> trait
auto func = [](auto *ptr) ->
std::enable_if_t<valid_ptr_type_v<decltype(ptr)>> {
// do stuff with ptr
}; // note: void return type (std::enable_if default)
int a{};
float b{};
char c{};
func(&a);
func(&b);
// func(&c); // error
}
這在幕后所做的是約束 lambda 閉包型別的模板函式呼叫運算子的推導的單個模板引數。
// ~ish
struct AnonClosureTypeOfGenericLambda {
template <typename T,
typename = std::enable_if_t<valid_ptr_type_v<decltype(T*)>>>
void operator()(T* ptr) const { /* ... */ }
};
uj5u.com熱心網友回復：
通過使用 lambda 多載技巧：
template<typename... Ts> struct overload : public Ts... { using Ts::operator()...; };
template<typename... Ts> overload(Ts...)->overload<Ts...>;
auto f = overload([](int *) { /* do something with int-pointer */ }
, [](float *){ /* do something with void-pointer */ });
但那是 C 17。這將是 C 11 解決方案：
template <class... Fs>
struct overload_t;
template <typename F, typename ... Fs>
struct overload_t<F, Fs...> : F, overload_t<Fs...>
{
overload_t(F f, Fs... fs) : F(std::move(f)), overload_t<Fs...>(std::move(fs)...) {}
using F::operator();
using overload_t<Fs...>::operator();
};
template <typename F>
struct overload_t<F> : F
{
overload_t(F f) : F(std::move(f)) {}
using F::operator();
};
template <typename... Fs>
overload_t<Fs...> overload(Fs... fs)
{
return overload_t<Fs...>(std::move(fs)...);
}
uj5u.com熱心網友回復：
我建議使用static_assertHas clear code 并編譯錯誤。此外，雖然不是問題，因為這兩種型別都是浮點數或整數的指標，您可以使用條件根據實際型別進行不同的計算。
#include <type_traits>
int main()
{
auto foo = [](auto p) {
static_assert(std::is_same_v<decltype(p), float*> || std::is_same_v<decltype(p), int*>);
if (std::is_same_v<decltype(p), int*>)
*p = 42;
else
*p = 42.1f;
};
float f{};
int i{};
double d{};
// compiles
foo(&f);
foo(&i);
// doesn't compile
//foo(&d);
}
轉載請註明出處，本文鏈接：https://www.uj5u.com/qianduan/486436.html