我使用下面的代码来确定模板类型是否有foo()： template <typename T, typename = void>void has_foo_f(){
static_assert(has_foo<T>::value, "Type
浏览 12提问于2019-01-05得票数 0
回答已采纳
在这个简化的示例中，计算static_assert所需的编译器是auto foo(T t) -> void}
{}
{
test(foo("7&quo
浏览 0提问于2016-05-16得票数 0
回答已采纳
我尝试以下代码来检查模板是否在未计算的上下文中实例化：constexpr auto f(int)-> decltype(foo(std::declval<T>()), void(), 42) return 42;static_assert(f(0) ==
浏览 4提问于2019-07-05得票数 12
回答已采纳
2回答
您可以编写指定为用户显式指定的模板，并在默认模板上添加一些有用的错误消息：struct foo static_assert( sizeof(T)= sizeof(T) , "Please specialize foo for your type" );由于始终为false的条件依赖于模板参数，所以断言的计算将仅在模板实例化期间完成，这正是我们想要的typename T>
浏览 1提问于2014-04-21得票数 2
回答已采纳
2回答
根据和 (工作草案)：
static_assert(std::is_same<decltype(g(S{})), int>::value, "!");}
不用说，f和g实际上并没有被
浏览 1提问于2016-08-18得票数 8
回答已采纳
与模板一起使用时，static_assert似乎是一个非常好的功能。例如，我正在寻找一个函数来检查一个类型是否是另一个类型的子类型。然而，boost::is_base_of完成了这项工作，在std中是一个类似的函数，所以我不需要依赖boost。基本上，有没有一个很好的源代码来列出可以在static_assert中使用并包含在C++11标准库中的函数？
static_assert是什么时候执行的？我是否可以将它放在模板</e
浏览 3提问于2012-06-15得票数 2
回答已采纳
在C++11中，模板内的static_assert操作是否应该依赖于该模板是否已被实例化？例如，使用以下代码void sa() { static_assert(0,"Hello."); }
int main(int argc, char *argv[])
浏览 0提问于2011-03-09得票数 51
回答已采纳
2回答
模板函数专门化默认值
、、、
我试着专门制作这样的模板。template<>{}T Foo::get(const std::string&) static_assert(false, "unsupported
浏览 4提问于2017-07-06得票数 5
回答已采纳
2回答
(dependent_false<X>::value); };
class X<true> { static_assert(dependent_true<X>::value);};
X<true> x;也就是说，不计算主模板中的static_assert。相反，如果我转到：class X { static_a
浏览 0提问于2018-09-02得票数 3
回答已采纳
3回答
可变模板规格
、、、、
然而，似乎我在模板专门化方面做错了什么。对static_assert进行评估，而不应该：struct bin_imp static constexpr unsigned longlong to_ull() static_assert(false,"not binary value");
return
浏览 3提问于2014-05-28得票数 1
回答已采纳
.>> : std::true_type { };
Predicate的目的是识别具有任意模板类名(绑定到Head)的模板实例化，它存储零或多个非类型模板参数，可能是不同类型的，而没有其他参数(类型或模板)。
浏览 0提问于2018-08-07得票数 4
回答已采纳
2回答
.>) return true;
static_assert(startsWith(StaticString<'a', 'b'>(), StaticString<'a'>()),
浏览 3提问于2018-02-06得票数 4
简短问题我想了解类模板是否继承自其(第一个)模板参数，方法是按照以下方式构造：struct template_parameter_is_base_of* Irrelevant implementation */ }
static_ass
浏览 1提问于2019-10-19得票数 0
回答已采纳
1回答
我有一个递归的可变模板函数，我可以用它在编译时计算它的参数，以确保它们都没有大于指定的最大值： template <int(returnZeroIffValuesAreNotTooBig<6>(1,2,3)==0, "compiles (as expected)");
static_assert(returnZeroIffValuesAreNotTooBigVals&
浏览 5提问于2018-08-04得票数 1
回答已采纳
下面的代码背后的思想是只对具有特定大小的类型启用类，如下面的示例中的1：class X private:template<int S=sizeof(T)>inline void X<T>::foo<
浏览 0提问于2018-01-31得票数 0
回答已采纳
3回答
我正在尝试静态地检查一个类型是否存在于一个可变模板参数列表中。但是，此模板列表实际上存在于传递单个类型的类中。答案展示了如何检查参数列表或参数包，但我不确定如何测试包含各种模板的类。class ServiceLocatorpublic: T& Resolve() static_assertcheck_
浏览 2提问于2013-10-17得票数 2
回答已采纳
1回答
我有两个模板类A和Btemplate <typename T> class B { /* ... */ };现在，我想编写一个执行不同操作的函数，这取决于在传递的参数中实现了哪些基类。A"; std::cout << "object
浏览 1提问于2018-04-29得票数 1
回答已采纳
2回答
匹配别名模板作为模板参数
、、、
.>> : std::true_type{};
struct test{};
static_assert(is_specialization_of<test, test<int>>::value, "1");
using alias = test<T>;
static_assert</
浏览 7提问于2017-04-25得票数 15
回答已采纳
1回答
在和中，我们可以看到std::is_specialization_of的实现(为方便起见包括在下面)，它可以检测类型是否是给定模板的专门化。因为专门化与继承无关，所以当任何模板参数都是通过继承定义时，特征的结果不受影响。可以是给定模板的任何专门化？>);
static_assert(derived_from_special
浏览 1提问于2021-11-26得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
