有没有办法在C++模板中允许更复杂的类型推断？

文章/答案/技术大牛

发布

1回答

c++、templates、type-inference

假设我有一个模板函数： template<class T> // ... }); 尽管C++能够从简单的、非模板类型的参数推断模板参

浏览 27提问于2020-03-24得票数 0

回答已采纳

2回答

为什么类型同义词不允许在Haskell中使用递归？

haskell、types

有没有人能解释为什么这两个代码都能很好地编译：newtype B a = B (A a (B a))但是我不能通过类型同义词创建类似的递归定义的类型？有没有办法避免在我想要类型递归的地方处理额外的构造函数X？无论如何，我主要是在传递挑选b的访问器函数，所以我基本上

浏览 1提问于2012-01-23得票数 21

回答已采纳

1回答

推导成员函数模板参数指针的参数类型

c++、templates、c++17、member-function-pointers

我正在尝试用一个类型为void (Foo::*FUNC)(T const *)的模板参数编写一个C++函数模板f，其中Foo是某种类类型。此外，我想从为FUNC指定的具体成员函数指针推导出T。我知道有一些方法可以推断出函数的第一个参数的类型，但它们都过于复杂(不使用Boost)。有没有更聪明的方法来做我想做的事

浏览 35提问于2021-03-30得票数 2

回答已采纳

2回答

c++模板模板推断类型参数

c++、templates

我有一个基类型struct Base {};templatebasetype, typename p, typename q>然后，我像这样创建变量：有没有<

浏览 2提问于2019-05-24得票数 4

1回答

如何在VS2015的监视窗口中查看C++模板参数

c++、templates、visual-studio-2015、watch

我正在调试一些包含一些带有T作为模板参数的C++模板的C++代码。我希望在watch (或鼠标悬停)中看到T是什么类型的。我可以在调用堆栈上看到模板参数类型。由于类型非常复杂，调

浏览 10提问于2016-09-11得票数 5

回答已采纳

1回答

TypeScript中的类型别名

typescript

许多语言都有类型别名，也就是为复杂(可能是模板化)类型定义一个短名称的方法。例如，在C++中，我有以下内容：现在，在TypeScript中，我也有这种类型的字段： ...gl

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

回答已采纳

1回答

在没有初始化的情况下声明变量时，C++自动类型推断

c++、auto、type-deduction

实际上，我非常喜欢C++中的自动类型推断，在这种情况下，可以从函数获得任意复杂的返回类型，但不必担心调用函数时类型是什么。，例如从函数初始化类型的时候。但是，除了使用typedef或更现代的using之外，我不知道其他避免长类型名称的方法。VecOfMaps; using VecOfMaps = std::vector<s

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

回答已采纳

1回答

是否可以使用调用站点上的对象的静态类型作为其模板方法的自动推导模板参数？

c++、templates

模板方法允许为不同静态类型的参数跨一组方法实例。自动参数推导避免了信息的重复。我们所面临的情况是，我们希望自动推断为模板参数的静态类型是类实例本身的类型。(在调用站点上，实例的类型可以是比声明模板方法的类更专业的类型。)/&#x

浏览 0提问于2014-07-03得票数 0

2回答

泛型不能推断第二个参数吗？

c#、.net、templates、generics

示例：class Test {template <class T,class V> T test(V v) {(和泛型)不能推断返回类型，所以在C++中，我给它提供了第一个模板参数，第二个模板参数是从变量类型推断出来的。现在，在C#中使用相同的

浏览 29提问于2011-07-23得票数 20

回答已采纳

2回答

如何为类特定类型防御(c++17)启用自动类型推断？

c++、templates、c++17

我想用c++17自动推断一个类‘(带有默认的模板参数)。有人知道这是否可能吗？+ 17 A::Vec vec{}; //does not seem to work with c++ 17.} 在上面的代码中，a是在没有问题的情况下实例化的，推导出的模板类型在默

浏览 5提问于2021-06-07得票数 2

回答已采纳

1回答

在特征中实现剪辑()

c++、eigen、eigen3

然而，代码看起来像模板-沉重和有点复杂。例如，google样式指南不鼓励尾随返回类型。仅在需要(如lambdas)或将类型放在函数的参数列表之后的情况下，才使用新的拖尾-返回类型表单，它允许您以更易读的方式编写类型。后一种情况应该是罕见的；在相当复杂的模板代码中，这主要是一个问题，在<

浏览 2提问于2019-12-22得票数 1

回答已采纳

4回答

向C++程序员解释ML类型推断

c++、functional-programming、templates、type-inference、ml

ML如何在以下函数定义中执行类型推断：它是否像C++模板一样，在模板实例化之前不执行类型检查，在模板实例化之后，如果类型支持必要的操作，函数就会工作，否则就会抛出编译错误例如，下面的函数模板NumType add(NumType a, NumType b

浏览 0提问于2010-04-21得票数 5

回答已采纳

2回答

C++“类型推断”和Haskell“类型推断”有什么区别？

c++、haskell、types、type-inference

在英语语义学中，“类型推断”是否等于“类型推断”？谢谢。

浏览 7提问于2016-04-07得票数 7

1回答

有什么办法使Postgres在创建函数时更加严格？

postgresql

我注意到Postgres解析器/编译器允许创建(在我看来)可以在创建时被拒绝的函数。我正在讨论的一个例子是plpgsql块中的select语句：begin在编译时并不总是捕获

浏览 1提问于2020-06-19得票数 3

回答已采纳

2回答

c++：当使用NULL/nullptr时，我们是否需要显式地为模板函数指定类型信息？

c++、function、templates、parameters、nullptr

我有一个模板函数：void f(const T* t1, const T* t2) {} int i = 1; int i = 1;好吧，它被编译了。但是，c++编译器不是可以为我们做类型推断:这样我们就可以调用模板函数而不指定所有

浏览 7提问于2022-08-29得票数 1

回答已采纳

1回答

std容器元素的常量正确性

c++、std

下面是不好的：问题是模板类型需要是可分配的。下面的代码在Visual Studio 2010中编译了EDIT：，演示了上面的问题：vec.push_back(6);对于更复杂的类型，这可能是一个严重的问题。我的第一个问题是，这种行为是否

浏览 0提问于2012-11-19得票数 5

回答已采纳

7回答

隐式模板参数

c++、xcode、templates、implicit

以下代码在Xcode中生成编译错误：struct Foo Foo(T Value) }{missing template arguments before 'MyFoo' 将Foo MyFoo(123);更改为Foo<int> MyFoo(123);可以解决这个问题，但是编译器不应该能够确定适当的数据类型吗这是一个编译器错误，还是我误解了隐式模板参数？

浏览 1提问于2011-02-10得票数 13

回答已采纳

3回答

调用不带<>的模板函数；类型推断

c++、templates、types、inference

如果我有一个带有typename T的函数模板，其中编译器可以自己设置类型，那么当我调用函数时，我不必显式地编写类型，比如：T min( T v1,v1: v2;int i1 = 1, i2 = 2; int i3 = min( i1, i2 ); //no explicit <type> 但是如果我有一个函数模板，它有两个不同的类型名，比如我认为原因是因为C

浏览 1提问于2010-05-14得票数 12

回答已采纳

3回答

C++：根据参数实例化模板化的类

c++、templates

makeSomeClass(const T& t) {}Base* = makeSomeClass(123); 当我不想显式地指定T时，这是很有用的，因为它是一个非常复杂的(函数类型等)，并且函数参数可以隐式推导出类型。有没有办法在没有额外的"make“函数的情况下做到这一点？为什么模板推导只

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

回答已采纳

3回答

没有定义的自动变量声明

c++、auto

我想知道是否有一个优雅的解决方案来解决以下问题： if (some predicate) else} 显然，这段代码没有编译，但我

浏览 0提问于2020-10-20得票数 6

点击加载更多