[英]Are there cases in which trailing-return-type syntax in lambda cannot be avoided?
關於前一個問題( 是否可以通過引用從lambda返回類型為T的對象而不使用尾隨返回類型語法? ),我想知道是否有任何其他重要案例或示例,其中trailing-return-type語法,當使用lambdas時, 無法避免。
我想另一種情況是在不同返回之間存在類型不一致的情況。
一個愚蠢的例子
std::function<long(int)> f
= [](int v) -> long { if ( v ) return v; else return 0L; };
如果你避免不一致,顯然你可以避免它,所以我不知道它是否重要。
在C ++ 14中,一個有點人為的例子是將sfinae與通用lambda結合使用:
[](auto &&arg)
-> decltype(arg.f(), void())
{ /* do whatever you want */ }
無論如何,人們可以爭辯說static_assert
就足夠了:
[](auto &&arg) {
static_assert(has_metod_f<std::decay_t<decltype(arg)>>::value, "!");
/* do whatever you want */
}
其中has_method_f
是常見的探測器習語。
無論如何,想象一下你想要從一群lambdas開始構造一個組合函子的情況:
#include<utility>
#include<iostream>
template<typename...>
struct Base;
template<typename Func, typename... Others>
struct Base<Func, Others...>: Func, Base<Others...> {
Base(Func func, Others... others)
: Func{std::move(func)}, Base<Others...>{std::move(others)...}
{}
template<typename... Args>
auto operator()(int, Args&&... args)
-> decltype(Func::operator()(std::forward<Args>(args)...)) {
Func::operator()(std::forward<Args>(args)...);
}
template<typename... Args>
auto operator()(char, Args&&... args) {
Base<Others...>::operator()(0, std::forward<Args>(args)...);
}
};
template<>
struct Base<> {
template<typename... Args>
auto operator()(Args&&...) {
std::cout << "fallback" << std::endl;
}
};
template<typename... Ops>
struct Mixin: Base<Ops...> {
Mixin(Ops... ops)
: Base<Ops...>{std::move(ops)...}
{}
template<typename... Args>
auto operator()(Args&&... args) {
return Base<Ops...>::operator()(0, std::forward<Args>(args)...);
}
};
struct T { void f() {} };
struct U {};
int main() {
auto l1 = [](auto &&arg) -> decltype(arg.f(), void()) {
std::cout << "accept T" << std::endl;
};
auto l2 = [](U) {
std::cout << "accept U" << std::endl;
};
Mixin<decltype(l1), decltype(l2)> mixin{std::move(l1), std::move(l2)};
mixin(T{});
mixin(U{});
mixin(0);
}
在這種情況下, static_assert
會阻止編譯,這不是預期的結果。
另一方面,尾隨返回類型可以用於在包裝器的幫助下直接在lambda上啟用sfinae。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.