- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
最近我尝试编写围绕 void_t 的包装器,如下所示:
namespace detail {
template <class Traits, class = void>
struct applicable : std::false_type {};
template <class... Traits>
struct applicable<std::tuple<Traits...>, std::void_t<Traits...>>
: std::true_type {};
} // namespace detail
template <class... Traits>
using applicable = detail::applicable<Traits...>;
和调用端类似的东西
template <class T>
using call_foo = decltype(std::declval<T>().foo());
template <class T>
using has_foo = applicable<call_foo<T>>;
auto main() -> int {
std::cout << std::boolalpha << has_foo<std::vector<int>>::value;
}
但是代替了预期的“false”我得到了编译时错误:
error: 'class std::vector<int, std::allocator<int> >' has no member named 'foo'
using has_foo = my::applicable<call_foo<T>>;
怎么了?
更新:在特征中使用参数包背后的想法是按如下方式使用此适用的元函数:
template <class T>
using call_foo = decltype(std::declval<T>().foo());
template <class T>
using call_boo = decltype(std::declval<T>().boo());
template <class T>
using call_bar = decltype(std::declval<T>().bar());
template <class T>
using has_foo_and_boo_and_bar = applicable<call_foo<T>, call_boo<T>, call_bar<T>>;
这里的关键不是将特征应用于多个类,而是在不使用 std::conjunction
的情况下将多个特征应用于一个类。
最佳答案
类似的东西:
#include <type_traits>
#include <vector>
using namespace std;
struct Foo{
int foo() { return 1 ;}
};
// transform an "maybe type" into a classic type traite
// We use T and not Args... so we can have a default type at the end
// we can use a type container (like tuple) but it need some extra boilerplate
template<template<class...> class Traits, class T, class = void>
struct applicable : std::false_type {};
template<template<class...> class Traits, class T>
struct applicable<
Traits,
T,
std::void_t< Traits<T> >
> : std::true_type {};
// not an usual type trait, I will call this a "maybe type"
template <class T>
using call_foo = decltype(std::declval<T>().foo());
// creating a type trait with a maybe type
template<class T>
using has_foo_one = applicable<call_foo, T>;
static_assert( has_foo_one<std::vector<int>>::value == false );
static_assert( has_foo_one<Foo>::value == true );
// we need a way to check multiple type at once
template <
template<class...> class Traits,
class... Args
>
inline constexpr bool all_applicable = (applicable<Traits,Args>::value && ...);
static_assert( all_applicable<call_foo,Foo,Foo> == true );
static_assert( all_applicable<call_foo,Foo,int> == false );
template<class ... Args>
struct List{};
// if you want the exact same syntaxe
template<
template<class...> class Traits, // the type traits
class List, // the extra boilerplate for transforming args... into a single class
class = void // classic SFINAE
>
struct applicable_variadic : std::false_type {};
template<
template<class...> class Traits,
class... Args
>
struct applicable_variadic
<Traits,
List<Args...>, // can be std::tuple, or std::void_t but have to match line "using has_foo..."
std::enable_if_t<all_applicable<Traits, Args...> // will be "void" if all args match Traits
>
> : std::true_type {};
template<class... Args>
using has_foo = applicable_variadic<call_foo, List<Args...>>;
static_assert( has_foo<Foo,Foo>::value == true );
static_assert( has_foo<Foo>::value == true );
static_assert( has_foo<Foo,int>::value == false );
int main() {
return 1;
}
https://godbolt.org/z/rzqY7G9ed
您可能可以一次写完所有内容,但我将每个部分分开。当我稍后返回我的代码时,我发现它更容易理解。
注意:
在你想要的更新中:
template <class T>
using call_foo = decltype(std::declval<T>().foo());
template <class T>
using call_boo = decltype(std::declval<T>().boo());
template <class T>
using call_bar = decltype(std::declval<T>().bar());
template <class T>
using has_foo_and_boo_and_bar = applicable<call_foo<T>, call_boo<T>, call_bar<T>>;
这不可能。 applicable<int, ERROR_TYPE>
不会编译。这不是“替换错误”,而是一个错误。
你有 2 个选项(据我所知)
applicable<traits_foo<T>::value, traits_bar<T>::value>
.注意 value
.在这种情况下,每个类型特征都会判断一个属性是否受到尊重,并且 applicable
只会检查所有 bool 值是否为真。type_traits<T>
而只是 type_traits
)和类型来检查和使用适用的 SFINAE。这就是我在下面所做的。同理,我们可以创建一个“模板类列表”。在此实现中,我们期望类型特征具有 ::value
。这就是为什么我通过 has_bar_one
而不是 call_bar
template<template<class...> class... Traits>
struct list_of_template_class{};
template<
class ListOfTraits,
class T,
class = void
>
struct applicable_X_traits : std::false_type {};
template<
template<class...> class... Traits ,
class T
>
struct applicable_X_traits
<list_of_template_class<Traits...>,
T,
std::enable_if_t< ( Traits<T>::value && ...) >
> : std::true_type {};
template <class T>
using call_bar = decltype(std::declval<T>().foo());
template<class T>
using has_bar_one = applicable<call_foo, T>;
template<class T>
using has_foo_bar = applicable_X_traits<
list_of_template_class<has_bar_one, has_foo_one>,
T
>;
static_assert(has_foo_bar<Foo>::value == true );
static_assert(has_foo_bar<int>::value == false );
struct JustBar {
void bar() { }
};
static_assert(has_foo_bar<JustBar>::value == false );
https://godbolt.org/z/K77o3KxTj
或者只使用 Boost::Hana
// If you have an instance of T you can just do :
auto has_foo_bar_simpler = hana::is_valid([](auto&& p) -> std::void_t<
decltype(p.foo()),
decltype(p.bar())
>{ });
static_assert(has_foo_bar_simpler(1) == false );
static_assert(has_foo_bar_simpler(JustBar{}) == false );
static_assert(has_foo_bar_simpler(Foo{}) == true );
// if not
template<class T>
constexpr bool has_foo_bar_simpler2 = decltype(has_foo_bar_simpler(std::declval<T>())){};
static_assert(has_foo_bar_simpler2<int> == false );
static_assert(has_foo_bar_simpler2<JustBar> == false );
static_assert(has_foo_bar_simpler2<Foo> == true );
关于c++ - 在我的 void_t 包装器而不是后备上编译时错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/71746557/
正在尝试创建一个 python 包。似乎有效,但我收到警告。我的 setup.py 是: #! /usr/bin/env python from distutils.core import setup
我导入了一个数据类型 X ,定义为 data X a = X a 在本地,我定义了一个通用量化的数据类型,Y type Y = forall a. X a 现在我需要定义两个函数, toY 和 fro
我似乎无法让编译器让我包装 Tokio AsyncRead: use std::io::Result; use core::pin::Pin; use core::task::{Context, Po
我有两个函数“a”和“b”。当用户上传文件时,“b”被调用。 “b”重命名文件并返回新文件名。之后应该编辑该文件。像这样: def a(): edits file def b(): r
我使用 Entity Framework 作为我的 ORM,我的每个类都实现了一个接口(interface),该接口(interface)基本上表示表结构(每个字段一个只读属性)。这些接口(inter
有没有办法打开一个程序,通常会打开一个新的jframe,进入一个现有的jframe? 这里是解释,我下载了一个java游戏,其中一个是反射游戏,它在一个jframe中打开,框架内有一堆子面板,我想要做
我想要下面的布局 | AA BBBBBBB | 除非没有足够的空间,在这种情况下 | AA | | BBBBBBB | 在这种情况下,A 是复选框,B 是复选框旁边的 Text
我正在尝试以不同的方式包装我的网站,以便将背景分为 2 部分。灰色部分是主要背景,还有白色部分,它较小并包装主要内容。 基本上我想要this看起来像this . 我不太确定如何添加图像来创建阴影效果,
我正在使用 : 读取整数文件 int len = (int)(new File(file).length()); FileInputStream fis = new FileInputStream(f
我使用 maven 和 OpenJDK 1.8 打包了一个 JavaFX 应用程序我的 pom.xml 中的相关部分: maven-assembly-plugin
我正在使用两个不同的 ItemsControl 来生成一个按钮列表。
我有一个情况,有一个变量会很方便,to , 可以是 TimerOutput或 nothing .我有兴趣提供一个采用与 @timeit 相同参数的宏来自 TimerOutputs(例如 @timeit
我正在尝试包装一个名为 content 的 div与另一个具有不同背景的 div。 但是,当将“margin-top”与 content 一起使用时div,似乎包装 DIV 获得了边距顶部而不是 co
文档不清楚,它似乎允许包装 dll 和 csproj 以在 Asp.Net Core 5 应用程序中使用。它是否允许您在 .Net Core 5 网站中使用针对 .Net Framework 4.6
我被要求开发一个层,该层将充当通用总线,而不直接引用 NServiceBus。到目前为止,由于支持不引人注目的消息,这并不太难。除了现在,我被要求为 IHandleMessages 提供我们自己的定义
我正在尝试包装 getServersideProps使用身份验证处理程序函数,但不断收到此错误:TypeError: getServerSideProps is not a function我的包装看
我有一个项目,它在特定位置(不是/src/resources)包含资源(模板文件)。我希望在运行 package-bin 时将这些资源打包。 我看到了 package-options 和 packag
我正在寻找打印从一系列对象中绘制的 div。我可以通过使用下面的管道语法来实现这一点。 each i, key in faq if (key == 0) |
我在 Meteor.js“main.js - Server”中有这个方法。 Meteor.methods({ messageSent: function (message) { var a
我注意到,如果我的自定义Polymer 1.x元素的宽度比纸张输入元素上的验证错误消息的宽度窄,那么错误将超出自定义元素的右边界。参见下图: 有没有一种机制可以防止溢出,例如在到达自定义元素的边界时自
我是一名优秀的程序员,十分优秀!