模板-模板-参数和概念

文章/答案/技术大牛

发布

1回答

c++、c++-concepts、template-templates

可以为模板-模板参数编写概念吗？在……里面 template<template<typename> typename T> struct A {}; 我想检查T的特定实例化是否满足某个概念。

浏览 19提问于2019-05-08得票数 0

1回答

为什么模板模板参数中的概念没有得到验证？

c++、c++20、c++-concepts、contravariance、template-templates

C++20允许程序为模板模板参数指定概念。<Char U> typename T, typename U> T<U> foo() { return {}; } 函数foo的第一个模板参数应该是一个参数模板概念Char被定义为仅为char类型的真，因此为int满足它的尝试将失败。以上程序被所有编译器接受：请您解释一下，为什么可以指定

浏览 5提问于2021-08-02得票数 7

回答已采纳

1回答

我在模板和概念的高级用法方面是新的，所以这里有一个复杂的问题：需要{ std::same_as<std::decay_t<decltype(_Traits::token)>，std::string_view>；}; I有一些模板类，它使用这个概念来处理具有各种特征的object_one (例如，Source类的一半返回object_one)：handle_object方法{ _Objects_handle

浏览 1提问于2021-10-08得票数 2

回答已采纳

2回答

是否可以像C++模板元编程一样，在OCaml中进行编译时执行？

ocaml、template-meta-programming

在C++中，递归模板和常量值作为模板参数允许执行有趣的代码生成和编译时执行示例，例如。是否可以使用参数多态性、函数器或其他概念在OCaml中做类似的事情？

浏览 0提问于2011-10-08得票数 2

回答已采纳

2回答

如何要求模板参数是特定模板类的专门化？

c++、templates、variadic-templates、template-specialization、c++-concepts

我想定义一个模板类MyClass，其中模板参数必须是特定模板类的专门化。在本例中，我希望MyClass是一个模板类，它的第一个模板参数接受A的专门化，第二个模板参数接受B的专门化。然后，我可以实例化这个类如下：现在，您可能会说，“只需将A和B的参数作为MyClass的模板</em

浏览 6提问于2021-07-04得票数 0

4回答

将模板化函数作为参数传递给另一个函数

c++、templates、c++20

问题auto fn = findType<MyType, SomeType, OtherType>(name);然而，C++似乎没有意识到fn可以通过模板类型进行参数化。我使用的是gcc10和C++20，所以如果可能的话，我也可以使用概念。我认为问题可以归结为：，如何将模板参数化函数传递给另一个函数

浏览 3提问于2021-01-19得票数 3

回答已采纳

1回答

使用模板方法为非模板类创建概念

c++、templates、c++20、c++-concepts、member-functions

因此，我正在尝试创建一个概念来检查结构/类中是否有模板方法void (Auto)。struct S void func(auto param) // Do stuff ...}; Struct没有任何模板参数，但它的成员有。我将我的模板参数传递给概念'typename _Param'，但是当我使用我的概念时，它需要指定这个参数。My

浏览 6提问于2021-12-11得票数 0

5回答

函数模板重载

c++、templates、overloading

有人能总结一下函数模板重载的概念吗？模板参数和函数参数有什么关系？返回值是什么？例如，给定一个函数模板重载函数模板是什么？

浏览 2提问于2010-02-01得票数 31

回答已采纳

1回答

C++的概念和铁锈的特点有什么相似之处？

c++、rust、traits、c++-concepts

在C++中，有两个抽象工具:抽象类和模板。为了克服使用模板的一些缺点(例如，难以读取错误消息)，C++引入了概念。但据我所知，两者也有显著的不同。例如，C+

浏览 2提问于2019-05-08得票数 63

1回答

专门化的隐式实例化

c++、templates、specialization

但是在任何地方，它都使用专门化的实例，如下面的N3797::14.7/4 [temp.spec] 实例化模板专门化可以对给定的参数列表隐式实例化(14.7.1)，也可以显式实例化(14.7.2)。模板本身是一个与模板规格不同的概念，模板规格可以是explicit specialization或partial specialization。我的问题是，为什么标准首先声明模板的instatiation概念，但进一步地，它将这个概念</e

浏览 1提问于2015-02-26得票数 2

回答已采纳

2回答

如何为非类型模板arg定义等效规则

c++、c++20

经过一段时间的计算，我发现编译器如何从一组“标记”(非类型模板args)中推断模板参数是非常有趣的。但看起来编译器只理解“逐字节”相等规则。

浏览 7提问于2022-11-03得票数 2

回答已采纳

2回答

显式指定模板类型

c++、templates、c++-concepts

我在学习模板。如果我混淆了概念模板/模板-类型/模板-参数，请纠正我。不过，这个对象应该是一个模板。例如一个容器。函数应该知道对象的类型及其模板参数。例如： result = createOb

浏览 4提问于2021-05-17得票数 1

回答已采纳

1回答

GCC不同意Clang和MSVC的观点，因为总是正确的概念被用来实现一个概念

c++、language-lawyer、c++20

以下代码无法用Clang 13和MSVC v19.29VS16.11编译，但成功地用GCC 11.2编译。

浏览 3提问于2021-11-03得票数 14

回答已采纳

1回答

避免重复要求子句在模板的前向声明？

c++、c++-concepts

我在一个新的项目中玩概念TS。我的问题与我想要创建的结构模板和相关概念之间的循环依赖有关。该概念的具体逻辑是检查该概念的类型参数是否为struct模板的专门化。由于我希望这个概念可以在struct模板中使用，我显然需要在struct模板之前定义这个概念，但是这个概念的逻辑也需要了解struct模板。我已经完成了一些编译工作，方法是向前声明stru

浏览 3提问于2016-12-02得票数 2

回答已采纳

1回答

简单类型说明符是模板参数。

c++、language-lawyer

根据国际标准化组织14882:2011年第14.6.2.1节： {}; “依赖名”和“在模板声明或定

浏览 3提问于2017-11-15得票数 1

1回答

命名空间(是/满足a)概念可以吗？

c++、namespaces、static-members、c++-concepts、c++20

我知道，C++概念建议的目的可能包括对模板参数(例如，作为“序列”)施加限制，以解决任何编译都足够好的情况(错误消息是非常糟糕的)。有关问题：

浏览 3提问于2017-08-25得票数 0

回答已采纳

2回答

C++20:根据概念验证模板体

c++、templates、c++20、c++-concepts

C++20引入了概念，允许我们在模板声明中指定模板参数必须提供某些功能。如果使用不满足约束的类型实例化模板，则编译将在实例化时失败，而不是在编译模板的主体和注意替换后的无效表达式时失败。这很好，但它引出了一个问题:在实例化之前，是否有一种方法让编译器查看模板主体(即将其视为模板，而不是模板的特定实例化)，并检查所有涉及模板参数的表达式是否都受到要存在的约束的保证？= require

浏览 2提问于2022-06-27得票数 0

回答已采纳

2回答

C++20模板概念语法

c++、templates、c++20、c++-concepts

使用概念，C++20提供了很好的语法，如concept SomeConcept = true; // stuff here requires SomeConcept<T>class Foo;template<

浏览 4提问于2021-07-03得票数 8

回答已采纳

1回答

(所需)返回类型的重载

c++、c++17、c++20

为类型提供自己的实现的好的方法是什么，这样其他代码就可以轻松方便地调用它，并且它也可以在模板中工作？对于每种类型使用具有显式专门化的单个模板时，如果这些实现本身对于某些类型组是通用的，则会遇到麻烦。(至少，在概念前的实现中是如此。)将所需类型作为虚拟参数或通过模板类型包装输入字符串出现在参数列表中，具有这样的优势:函数的选择使用适当的重载解析，并且可以简单和自然地在不同实现之间进行选择，包括简单的单类型函数、处理某些相关类型的模板、隐式转换和

浏览 1提问于2021-07-15得票数 0

1回答

我可以强制变量模板接受特定类型的参数吗？

c++、templates、variadic-templates

在C++模板中有一个称为显式模板参数规范的概念，这意味着我可以强制编译器创建给定类型的模板函数。class T2> /* function body */我可以用可变模板函数做类似的事情吗多样化的模板对我来说是新的，我只是想了解新概念(嗯，对我来说)的能力。

浏览 3提问于2015-04-30得票数 5

回答已采纳

点击加载更多