没有void_t的SFINAE (可能是一个模板专门化问题)

文章/答案/技术大牛

发布

1回答

如何在可能使用SFINAE的类型中检查字段的存在？

c++、linux、gcc、c++11

我有一个叫做“特征”的结构，它是T型模板，“特征”有一个叫做“大小”的字段。当T实际上有一个名为Size的字段时，代码就会编译，一切都会正常工作。但是，当T是本机类型时，它显然没有Size字段，而且代码无法编译struct Traits static const size_t Size = T::Size;我试着用SFINAE写它，但是它仍然不能编译 templa

浏览 3提问于2014-08-11得票数 4

回答已采纳

1回答

c++、sfinae、void-t

很抱歉标题，我不确定我的问题的类别。我正在试着用SFINAE做一个is_incrementable。这可以很好地工作，但是当我试图更深入地理解它时，当我删除void_t时，代码片段就不会像预期的那样工作。is_incrementable<int, void>::value，它是原始的模板类，也是专门化。在这种情况下，编译器选择专门化版本，因此值等于1。对于字符串版本，专门化</e

浏览 6提问于2021-03-07得票数 3

回答已采纳

1回答

SFINAE在VS2017上的编译错误

c++、compiler-errors、visual-studio-2017、template-meta-programming、sfinae

member_name): std::false_type {};\struct str_cat(has_, member_name)<T, typename SFINAE<decltype(T::member_name)>::type>\struct SFINAE { has_void_t<B>::value;

浏览 1提问于2018-08-28得票数 0

回答已采纳

1回答

如何避免在使用SFINAE时触发static_assert？

c++、templates、c++11、sfinae、static-assert

我想使用SFINAE (与一起)来确定类模板专门化或实例化是否定义了特定的成员类型。但是，主类模板的主体中有一个static_assert。是否可以在不修改主模板和不使用的情况下检索此信息？static_assert(Has<X<char>>::value == false, ""); // ERRORX<int>是一个显式的<

浏览 3提问于2015-12-22得票数 3

2回答

`void_t`是如何工作的

c++、templates、c++14、sfinae

我观看了沃尔特·布朗在Cppcon14上关于现代模板编程(，)的演讲，他在会上介绍了他的void_t SFINAE技术。示例：template< class ... > using void_t = void; 以及下面的特征，该特征检查名为as has_member< T ,

浏览 39提问于2014-12-29得票数 166

回答已采纳

1回答

C++11:模板参数中的SFINAE，GCC对Clang

templates、c++11、gcc、clang、sfinae

我希望实现一个特性类，以确定某个类型是否正确重载了operator()，这样我就可以查询如下所示的类型：最初，我从中了解了如何实现这个问题Args> void_t<FunctorReturn<Functor, Args ...>> // SFINAE>>:

浏览 0提问于2015-02-02得票数 6

回答已采纳

1回答

如果类型`T‘具有用于序列化自身的`template<>结构Writer<T>`，则为

c++、templates

我有一个Writer结构来做一些序列化 template<typename T>struct Writer<float> {}; 我想知道一个类型是否有专门的代码没有像预期<

浏览 15提问于2021-08-31得票数 3

回答已采纳

1回答

如何解决像std::allocator_traits这样的可选嵌套类型？

c++、c++11

但是，我们总是可以在std::allocator_traits<Allocator>中使用这些接口，如果Allocator中没有这些类型，它将提供这些类型的默认版本。std::allocator_traits是如何实现的？当模板不存在时，如何选择嵌套类型的默认版本？

浏览 3提问于2014-12-18得票数 4

回答已采纳

1回答

用于检测模板是否针对给定类型专门化的特征类。

c++、template、c++14、sfinae

今天的问题只是关于我在某个项目中需要的一个小实用程序:一个模板，用于检测一个模板是否是特定类型的。该实用工具使用来自std::void_t的C++17，但是这个别名模板非常简单，可以在您最喜欢的C++修订版中实现，无论它是：struct voiderusing void_t</em

浏览 0提问于2015-07-27得票数 7

回答已采纳

3回答

SFINAE:编译器不会选择特定的模板类

c++、templates、sfinae

我有一个问题： typedef std::vector<int> Vec; Functor<Foo> ac;} 我如何修复它，以便自动使用专门的结构注我不想直接专门化Foo上的Functor结构，但我想专门化所有具有Vec

浏览 0提问于2012-07-04得票数 9

回答已采纳

1回答

类的目的=在C++中为空？

c++、c++11、templates、c++14、void

在下面的代码片段中，class = void的用途是什么？class = void >struct has_type_member<T, void_t

浏览 1提问于2017-05-17得票数 13

回答已采纳

1回答

默认规范为什么主模板必须有void_t* =void_t？*

c++、sfinae、tmp

我有一个关于void_t元函数的问题，视频中显示了这个问题，这个问题是在41:25问的。我将尝试用下面的代码片段来展示我的问题：class __is_assignable_helper_af2false_type}; c

浏览 1提问于2015-07-07得票数 1

1回答

在进行相似但不同的专门化时，已经定义了类模板。

c++、templates、sfinae、template-specialization

我希望当T::A存在时使用其中之一，当T::B存在时使用另一种，这在实践中应该是多排的。我正在使用std::void_t<解密类型(.)>来测试是否存在。我希望这个表达式不能对其中一个或另一个专门化进行评估，因此我希望SFINAE会导致其中一个专门化被忽略。template< typename T, typename Enable = void > template< typename T >

浏览 18提问于2022-11-23得票数 1

回答已采纳

2回答

理解别名模板

c++、templates、alias、enable-if、c++17

我问了一个对代码有几个引用的：using void_t = void;为什么不直接在enable_if_t 或 conditional_t语句中计算传递给别名模板的模板参数呢？上面的代码是一次对多个模板参数执行enable_if_t吗？其次，我认为我对void_t的作用有一个具体的<

浏览 0提问于2015-05-18得票数 4

回答已采纳

1回答

在下面的has_member函数中，SFINAE没有正确地工作？

c++、templates、c++11、template-specialization、sfinae

我正在尝试的示例，并试图使他的has_member实现正常工作。using void_t = void; struct has_type_member: std::false_type {};template <class T> struct has_type_member<T, void_t

浏览 2提问于2015-06-11得票数 9

回答已采纳

3回答

为什么SFINAE在这种情况下对我不正确，以及如何修复它？

c++、templates、c++14、sfinae

我试图在struct A中保留一个函数foo (打印0)，如果它的参数有模板方法isA<void>，而另一个函数(打印1)没有。这段代码(简化为下面的最小示例)编译(使用gcc 6.1.0和clang-3.9.0，带有显式的--std=c++14选项)并运行。请只使用C++14解决方案。

浏览 8提问于2017-09-08得票数 3

回答已采纳

1回答

针对各种集合的模板类部分专门化

c++、templates、c++11、template-specialization

我试图编写两个模板部分专门化，它们应该以不同的方式处理序列化序列容器和关联容器，但是似乎根本没有使用序列容器专门化，因为编译器试图用错误的专门化来专门化它，下面是代码： { }如果我试着用Archiver<Writer, std::list<float>>::serialize(...); 该决议是关于第二个<em

浏览 1提问于2016-03-12得票数 1

回答已采纳

2回答

对于其他类型，是否有void_t的标准泛化？

c++、sfinae、c++17

在C++17中，我们使用了std::void_t，这使得SFINAE看起来要好看得多：std::void_t<decltype(T::prop)> foo() { /* stuff */ }template <typename T> void foo() { /* stuff *

浏览 5提问于2017-06-23得票数 9

回答已采纳

1回答

部分专业化与std::void_t<>的需求

c++、language-lawyer、partial-specialization

一个给语言律师..。我在玩SFINAE和TMP，试图得到更深入的理解。对于NC情况，正如我所预期的那样，T()格式不太好，因此由于SFINAE而放弃了专门化，并且使用了主模板(false_type)。但是对于int的情况，我希望使用专门化，因为decltype(T())是有效的，并且等同于T。is_default_constructable<T, wrap<decltype(T())> >

浏览 0提问于2018-10-18得票数 0

2回答

结合void_t和enable_if？

c++17、template-meta-programming、sfinae、enable-if、void-t

在C++17中，void_t允许使用class/struct模板轻松地执行class/struct模板：struct test {static constexpr auto text = "general case";struct test<T, std::void_t<decltype(std::begin(std::declval

浏览 4提问于2018-03-01得票数 4

回答已采纳

点击加载更多

如何在可能使用SFINAE的类型中检查字段的存在？