有没有办法在C++模板中允许更复杂的类型推断？
在C++模板中，可以使用一些技巧来允许更复杂的类型推断。以下是一些常用的方法：
- 使用函数参数推断：可以将需要推断的类型作为函数参数，然后通过函数参数推断来获取类型信息。例如：
template <typename T>
void foo(T arg);
template <typename T>
void bar(decltype(T::value) arg);
// 使用函数参数推断
foo([](){ return 42; }); // T将推断为lambda表达式的返回类型
bar(std::map<int, std::string>{{1, "one"}, {2, "two"}}); // T将推断为std::map<int, std::string>- 使用类型别名：可以使用类型别名来简化复杂类型的推断。例如：
template <typename T>
using MyMap = std::map<std::string, T>;
MyMap<int> myMap; // 推断为std::map<std::string, int>- 使用auto关键字：可以使用auto关键字来推断模板参数的类型。例如：
template <typename T>
void foo(T arg);
auto lambda = [](){ return 42; };
foo(lambda); // T将推断为lambda表达式的类型- 使用std::declval：可以使用std::declval来创建一个临时对象，用于推断类型。例如：
template <typename T>
void foo(T arg);
struct MyStruct {
int value;
};
foo(decltype(std::declval<MyStruct>().value){}); // T将推断为int这些方法可以帮助在C++模板中允许更复杂的类型推断，提高代码的灵活性和可读性。
关于腾讯云相关产品和产品介绍链接地址，由于要求不能提及具体的云计算品牌商，无法给出腾讯云相关产品的链接地址。但腾讯云提供了丰富的云计算服务，可以通过腾讯云官方网站或者搜索引擎获取相关信息。
相关·内容
2回答
我正在为以这种方式声明的函数的C++包装：
class MyClass
{
public:
template <class T>
T& as();
};
我的包装器需要删除显式模板，因为我不想调用myClass.as<int>();
所以我试着实现了一个新的函数，用这种方式声明：
class MyClass2 : public MyClass
{
public:
template <class T>
void get(T & val);
};
这样我就可以调用
int a;
myClass2.get(a);
有没有办法实现这个
浏览 1提问于2010-11-07得票数 4
回答已采纳
有没有办法在C++中使用const std::type_info&作为模板参数？
例如
template < typename T > class A
{
public:
A(){}
const std::type_info& type() const
{
return typeid(T);
}
};
template < typename T > void Do()
{
// Do whatever
}
int main()
{
A<int> MyA;
// Som
浏览 4提问于2014-01-30得票数 1
有没有人能解释为什么这两个代码都能很好地编译：
data A a b = A { a :: a, b :: b }
newtype B a = B (A a (B a))
newtype C = C (A Int C)
但是我不能通过类型同义词创建类似的递归定义的类型？
type B a = A a (B a)
type C = A Int C
尽管很明显data B a = A { a :: a, b :: B a }运行得很好。
有没有办法避免在我想要类型递归的地方处理额外的构造函数X？无论如何，我主要是在传递挑选b的访问器函数，所以我基本上没问题，但是如果有一种简单的规避机制，我想知道它
浏览 1提问于2012-01-23得票数 21
回答已采纳
2回答
我注意到C#编译器不会推断第二个泛型参数。
示例：
C++模板代码：(是的，我知道模板不像泛型那样工作)
class Test {
public:
template <class T,class V>
T test(V v) {
//do something with v
return T();
}
};
int i = 0;
Test t = new Test();
double j = t.test<double>(i); //infers V as int
模板(和泛型)不能推断返回类型，所以在C++中，我给它提供了
浏览 29提问于2011-07-23得票数 20
回答已采纳
3回答
我经常发现需要使用以下模式：
template<typename T>
class SomeClass : public Base {
SomeClass(const T& t) {...}
...
};
template<typename T>
SomeClass<T>* makeSomeClass(const T& t) {
return new SomeClass<T>(t);
}
并使用它：
Base* = makeSomeClass(123);
当我不想显式地指定T时，这是很有用的，因为它是一个非常复杂
浏览 0提问于2011-06-27得票数 2
回答已采纳
1回答
在C++ 11中，我有以下可变模板函数：
#include <functional>
template<class... T>
void Subscribe(std::function<void(T...)> handler)
{
// contents omitted
}
我可以这样说：
Subscribe<int>([](int value)
{
});
但是，我不能用空的模板参数调用它(它不会在Visual 2015中编译)：
Subscribe<>([]()
{
});
我知道有一个类似的帖子：，然而，在那篇文章中，
浏览 1提问于2016-01-23得票数 2
回答已采纳
我想知道C++中是否有一种方法可以在不添加decltype关键字的情况下确定像is_type_same_v(a, int*[3])这样的变量类型？
比如,
int (*a)[3];
using namespace std;
cout<<is_same_v<decltype(a), int(*)[3]> <<endl;
// Is there sth like,
// cout<<is_type_same_v<a, int(*)[3]> <<endl;
我认为第二种方式会更直接。
浏览 5提问于2022-11-12得票数 0
我想用c++17自动推断一个类‘(带有默认的模板参数)。有人知道这是否可能吗？以下代码试图说明这一点：
#include <vector>
template <typename T = int>
struct A{
using Vec = std::vector<T>;
};
int main() {
A a{}; // works with c++ 17
A<int>::Vec vec2{}; //works
A::Vec vec{}; //does not seem to work with c++ 17.
浏览 5提问于2021-06-07得票数 2
回答已采纳
1回答
c++模板参数类型推断
、、、
我在C++中有这样一个模板
template<typename T, T* P> struct Ptr {};
所以我可以这样用它：
const int i = 0;
Ptr<int, &i> ptr;
或
Ptr<decltype(i), &i> ptr;
但是我不想两次指定int或identity i类型，我只想使用
Ptr<&i> ptr;
让编译器自己计算出int类型部分。
我如何声明我的模板来做到这一点？
我读过这个问题，但答案是使用宏，这不太好：
我可以通过没有宏的模板来完成这个任务吗？我正在使用VisualC
浏览 0提问于2014-12-09得票数 10
回答已采纳
我正在使用c++。我有字符串，它可以包含以^开头的元素和以$结尾的元素。这个元素可以是int或string。
示例：
"....^15$asdasd"-> 15
"...^bbbb$ccc"->"bbbb"
我想编写lambda函数来完成这个任务。如果我使用模板函数，代码将如下所示：
template <typename T>
T getElem(string S)
{
T retElem;
// make calculations
// ....
return retElem;
}
浏览 1提问于2017-08-04得票数 0
回答已采纳
3回答
我正在学习c++，我想知道是否有一种方法来定义一个模板，其中返回类型实际上是函数输入的函数。
例如：
calling fun(1) would return me an int
calling fun(2) would return me a float
我想这可以用某种地图来完成吗？
1 <> int
2 <> float
例如，我试图解决的问题是，如果我有一个名为room的对象，我希望有一个名为get_contents的函数，在该函数上，我将传递一个枚举来定义返回类型。例如：
std::vector<Table> tables = room.get_co
浏览 6提问于2015-09-23得票数 1
回答已采纳
在2014年的“CppCon 2014 talke ”中，Scott提出了一个问题，为什么在C++11/C++14标准(他的问题开始于)中，auto和带括号的初始化器有一个特殊的规则。
§7.1.6.4/6定义了auto与大括号内列表相结合的语义。
我想过了，也想不出用例。到目前为止，我所看到的最接近的事情就是使用它的一个例子。
在他的中，他曾经使用auto来捕获初始化器(但只是作为一种解决办法)。
下面是代码(幻灯片30的一部分，)：
// auto ss1 = collect({ 1, 2, 3, 4, 5, 6 }, odd); // error: Bummer!
au
浏览 0提问于2014-10-12得票数 6
回答已采纳
我有一个泛型函数，如下所示 function computedLastOf<T>(cb: () => T[]) : Readonly<Ref<T | undefined>> {
return computed(() => {
const collection = cb();
return collection[collection.length - 1];
});
} 它是一种宏，它为T类型的集合返回一个计算的(反应式)值。 但请注意第一个<T>。它要求此函数的用户指定类型。如果它不是必要的，如果它是推断出来
浏览 17提问于2020-05-01得票数 1
回答已采纳
我试图使用一个接受std：：函数的模板，但是模板参数推导失败了。
double foo(){
return 2.3;
}
template <typename V>
void funcC (V (*fptr)()){
std::cout << "C function's value is\"" << fptr() << '\"' << std::endl;
}
template <typename V>
void funcCxx (std::functio
浏览 7提问于2022-01-24得票数 1
回答已采纳
所以说我有：
public: static void print(string message) { }
有没有办法让它接受其他数据类型的(例如。int，double等在同一个函数中？这样我就可以像print(7)一样叫它，这样就行了？
谢谢大家的回答；在标题中，我希望它是同一个函数，因为我没有意识到函数可以有相同的名称(比如变量)。因此，我认为你能做的唯一的方法就是通过同样的功能。由于我对C++非常陌生，所以我更喜欢只使用相同的函数名并使用不同的参数(重载方法)的方法。
浏览 1提问于2014-12-29得票数 0
回答已采纳
4回答
向C++程序员解释ML类型推断
、、、、
ML如何在以下函数定义中执行类型推断：
let add a b = a + b
它是否像C++模板一样，在模板实例化之前不执行类型检查，在模板实例化之后，如果类型支持必要的操作，函数就会工作，否则就会抛出编译错误？
例如，下面的函数模板
template <typename NumType>
NumType add(NumType a, NumType b) {
return a + b;
}
将适用于
add<int>(23, 11);
但不适用于
add<ostream>(cout, fout);
我猜测的是正确的还是ML类型推断的工作方式不同？
附
浏览 0提问于2010-04-21得票数 5
回答已采纳
我想用C++编写一个将lambda函数保存为成员变量的类。如果能尽可能高效地做这件事就太好了。例如，我读取了这个线程，因此我希望避免使用函数指针。
到目前为止，我最好的解决办法如下：
template<typename F>
class LambdaClass {
private:
F lambdaFunc;
public:
LambdaClass(F &_lambdaFunc): lambdaFunc(_lambdaFunc) {}
};
我将按以下方式使用这门课：
auto lambdaFunc = [](int _a) -> int {
浏览 0提问于2018-08-14得票数 6
回答已采纳
3回答
我现在正在学习C++，因为我需要写一些低级的程序。
当我了解到"auto“关键字时，它让我想起了来自C#的"var”关键字。
那么，C# "var“和C++ "auto”有什么区别呢？
浏览 0提问于2016-11-24得票数 35
回答已采纳
C++和Java在处理参数多态方面有类似之处:它们都会将类型参数推断为常规函数或方法，但都要求程序员在调用构造函数时显式地给出类型参数(尽管在Java 7中已经改变了这一点)。
这种行为背后的技术原因是什么？
编辑：我错误地认为这也适用于Scala。以下是Java的一个示例：
class Foo<T> {
Foo(T x) { }
}
<T> void foo(T x) { }
Foo<Integer> f = new Foo(3);
foo(3);
这两种方法都是合法的，但第一种是创建“原始类型”而不是Foo<Integer>，并
浏览 2提问于2013-12-20得票数 2
回答已采纳
2回答
函数具有返回类型自动
、、、
我正在尝试创建一个名为variable (类似于VisualBasic中的变量)的变量类型，它可以更改变量类型(不完全是，但它将更改将返回的变量)。这是我的代码：
#include <string>
using namespace std;
class Variant{
private:
int int_v;
char char_v;
bool bool_v;
string string_v;
char type;
public:
void set(int);
浏览 6提问于2015-01-16得票数 1
回答已采纳
2回答
C++模板演绎不起作用
、、、
关于下列代码：
#include<functional>
template<typename T>
void f(std::function<void(T)> g) {
}
template<typename T>
void g(T x) {
}
int main() {
f(&g<int>);
}
C++14编译器产生错误：
no matching function for call to 'f(<unresolved overloaded function type>)'
浏览 3提问于2016-12-22得票数 1
回答已采纳
5回答
有没有办法在C++中将函数作为参数传递，比如，我知道在C中可以使用函数指针将函数作为参数传递，我想知道在C++中是否也可以这样做。
浏览 2提问于2013-01-08得票数 0
回答已采纳
在TypeScript中，有没有办法键入以下fn函数，以便TypeScript仍然知道result的类型是'hello' const hello = 'hello' // hello is of type 'hello'
const fn = (x: unknown) => x
const result = fn(hello) // result is of type unknown 对于泛型，可以传递类型： const hello = 'hello' // hello is of type 'hello
浏览 24提问于2021-10-28得票数 1
3回答
我有一段代码可以在C中工作，但不能在C++中工作，有没有办法让它在C和C++上都能工作呢？
void foo(void* b)
{
int *c = b;
printf("%d\n",*c);
}
int main ()
{
int a = 1000;
foo(&a);
return 0;
}
输出：
C++：
1 In function 'void foo(void*)':
2 Line 3: error: invalid conversion from 'void*' to 'int*'
3
浏览 0提问于2017-04-03得票数 5
1回答
我有以下问题:我在C++中创建了一个动态链接库，模板类定义如下：
template <class T>
class myClass {
public:
//! Constructor
myClass(int size = 10);
//! Destructor
~myClass();
someAttributes ... ;
}
我想导出它，所以我定义如下：
template class __declspec(dllexport) myClass<double>;
因为--我在Visual C++中读
浏览 2提问于2012-09-18得票数 0
回答已采纳
我有以下接口：
public interface Evaluator<T> {
T evaluate(Collection<Extractable> sample);
}
和一个实现该接口的类：
public class PrecisionEvaluator implements Evaluator<Map<Triple<Short, Integer, String>, AttributePrecisionBean>> {
@Override
public Map<Triple<Short, Integer,
浏览 0提问于2014-10-31得票数 6
我需要你的帮助
if(s[i]==t)
{
//I get error for this
//aSP[pos] = min( (dfs(i)+pow(i-pos,2)) , aSP[pos] );
//Then I replace the above code with the following codes, and then it worked
int a = (dfs(i)+pow(i-pos,2));
int b = aSP[pos];
aSP[pos] = min(a,b);
}
但是他们是相同的，对吗？为什么
浏览 2提问于2017-02-19得票数 1
回答已采纳
2回答
c++中的委托
、、
嘿，我想在c++中实现委托，我知道如何在c#中实现，我发布了我的代码，但不知道如何将其转换为c++
public class Events {
public delegate void Action();
public Action OnPrintTheText = delegate{};
}
public class ABC {
private Event evt;
public ABC() {
evt = new Event();
}
public void printText() {
evt.OnPrin
浏览 2提问于2014-03-03得票数 0
1回答
一些C++黑客使用转换操作符获取一些关于构造函数的信息。我想知道，在模板转换操作符的分辨率中为T选择一个具体类型的过程是什么。
#include <iostream>
#include <type_traits>
using std::cout;
using std::endl;
struct A {
A(int) { cout << "int" << endl; }
A() { cout << "def" << endl; }
A(const A&) {
浏览 1提问于2020-09-14得票数 6
回答已采纳
我在中看到了一个类似于以下内容的函数定义：
auto incr(int i) -> int {return i+1;}
它在VS2012中编译并运行良好。有人能解释一下它的语法吗？它是一个名为lambda的表达式吗？在“C++编程语言，第4版”中描述了什么地方？为什么有人会这样写它，而不是使用一个简单的形式：
int incr(int i) {return i+1;};
浏览 3提问于2014-01-14得票数 2
回答已采纳
1回答
如果文件名中没有扩展名，则无法让contentType创建FileStreamResult。示例：
byte[] byteFile = await someDirectory.GetFileContentAsync(fileName);
string contentType;
new FileExtensionContentTypeProvider().TryGetContentType(fileName, out contentType); // fileName without extension
return (byteFile, contentType); // conten
浏览 4提问于2020-03-17得票数 0
回答已采纳
这是一个非常简单的模板问题(我认为对于C++大师来说很简单)，涉及到制作通用的数学函数。我有一个简单的Epsilon函数，像这样：
template<class T>
static T Epsilon()
{
return std::numeric_limits<T>::Min();
}
我想把它赋值给一些变量，比如：
float epsilon = Math::Epsilon();
，唉，我收到了一个编译错误：
错误C2783：'T Math::Epsilon(void)‘：无法推断“T”的模板参数
我可以这样分配它，没有错误：
float e
浏览 0提问于2013-10-17得票数 2
回答已采纳
我对“无法推断T的模板参数”错误有问题。
这是我的班级：
class PropertyAccess
{
public:
template <typename TClass, typename TType>
struct SetterPointer { typedef void (TClass::*Type)(const TType&); };
template <typename TClass, typename TType>
struct GetterPointer { typedef TType(TClass::*Type)
浏览 3提问于2015-07-01得票数 0
回答已采纳
2回答
我尝试用默认模板参数编写这个函数：
template<typename A, typename B>
void func(int i1, int i2, A a, B b = 123){
...
}
在我看来，我可以这样称呼它：func(1, 2, 3)和编译器应该从默认值中推断出B类型为int，但我得到了no instance of overloaded function。
在这种情况下，是否不正确的C++结构和编译器不能推断类型？
浏览 8提问于2021-11-29得票数 30
回答已采纳
2回答
获取模板类的类型
、、、
例如，有没有一种方法可以获取模板类的类型
//i have template function
template<typename T>
IData* createData();
//a template class instance
std::vector<int> a;
//using type of this instance in another template
//part in quotation mark is imaginary of course :D
IData* newData = createData<"typeOf(a)&#
浏览 0提问于2009-06-27得票数 1
回答已采纳
6回答
我正在为一个项目(对不起)用C++编写一个小而不完善的线性代数库。我正在使用双精度数字实现矩阵和运算。我做得对吗？我应该实现一个模板类吗？有没有更精确的类型？
浏览 0提问于2008-12-19得票数 5
回答已采纳
我目前有一段代码(用C语言编写)，它的外部循环是OpenMP并行化的(它在本地对共享内存列表进行操作)。我用C++重写了它，并且我发现BOOST_FOREACH宏是一种非常好的语法，作为循环构造，用于迭代列表、数组等。
我的问题是:有没有办法既可以使用这种语法，又可以像OpenMP那样并行化循环？
浏览 3提问于2010-11-22得票数 6
回答已采纳
2回答
我有以下方法：
public TResult Get<TGenericType, TResult>()
where TGenericType : SomeGenericType<TResult>
where TResult : IConvertible {
//...code that uses TGenericType...
//...code that sets someValue...
return (TResult) someValue;
}
浏览 1提问于2009-07-30得票数 6
回答已采纳
1回答
重载基于方法的类
、、
我想要一些方法来多次使用不同的方法声明同一个类：
class A // Implementation 1
{
void someMethod();
};
class A // Implementation 2
{
void someMethod();
void anotherMethod();
};
class A // Implementation 3
{
void entirelyDifferentMethod();
};
基本概念是根据所使用的方法选择适当的类A。它的主要用途是，我可以根据实际调用的方法实现具有不同数据结构的类。
有没有办法在C++中实
浏览 3提问于2018-03-06得票数 1
4回答
我在一个用C++编写的共享库中有一个模板函数(该函数在库中的任何地方都不会被调用，所以不应该生成它，我说错了吗？)g++，Linux
我试着在应用程序中使用这个模板函数，但是编译器给出了链接错误。我使用objdump搜索了这个函数，但是在.so中看不到这个函数，有没有办法解决这个问题？
浏览 4提问于2010-08-06得票数 2
回答已采纳
1回答
C++11 函数模板的默认模板参数。另见。
但是，阅读C++标准，我发现定义一个函数模板是合法的，它使用默认模板参数作为第一个模板参数，而不是其他模板参数。
这将与的处理方式截然相反，即所有后续参数都必须提供默认参数；或者是函数参数包。
乍一看，默认参数和默认模板参数之间的区别似乎很奇怪，但允许构造如下：
template <typename TException = std::exception, typename TObjectBuilder>
auto SwallowExceptions(const TObjectBuilder& rObjectBuilder) -&
浏览 6提问于2015-11-13得票数 10
回答已采纳
2回答
C++不使用T = Hoge&来实例化模板。
一个最小的例子是：
hoge.h：
#包括类Hoge { public: Hoge()：hoge(0) {} ~Hoge() {} int hoge；void print() { printf("%d\n"，hoge)；}；
hoge.cpp：
#包括"hoge.h“模板void f(T ){ a.print()；} template void f<Hoge &>(Hoge & a)；
main.cpp：
#包括"hoge.h“int main(void) { Hoge
浏览 0提问于2018-01-09得票数 10
回答已采纳
而不是：
struct MyStruct{
...
};
std::vector<MyStruct> myVec;
我可以这样做吗：
std::vector<struct MyStruct {...}> myVec;
甚至，因为我不需要这个结构的名称，因为我只在这个向量中使用它：
std::vector<struct {...}> myVec?
我已经使用C++很多年了，我认为这是不可能的。不过我觉得这样会更好。
或者有没有办法？
浏览 0提问于2019-01-06得票数 0
我想将变量传递到模板文字类型值中，但是 (您可以在这里使用下面的示例)。这个是可能的吗？
type Bar = "a" | "b"
interface Foo {label: `${Bar} (${number})`}
const x: Foo = {label: "a (3)"}; // fine
const myBar: Bar = "b";
const myNum: number = 3;
const y: Foo = {label: `${myBar} (${myNum})`}; // errors
有办法让y编译吗
浏览 1提问于2021-02-07得票数 1
回答已采纳
7回答
我正在用C++开发一个矩阵计算库。为此，我想使用模板。在做了一些模板元编程之后，我意识到我最终会在模板矩阵Class.Is中公开我的实现，当你公开那个特定的模板类时，有没有办法在头文件中混淆模板类的实现呢？如果是，那是怎么做的呢？
浏览 3提问于2011-05-20得票数 4
回答已采纳
2回答
我希望我的类接收一个非类型的模板参数，但我不想指定非类型参数的类型。我可以这样做：
template<class Type, Type param>
class A
{};
然后可以按如下方式使用它：
A<int,3> a;
这是多余的，因为一旦我知道了param = 3，那么我就知道了Type = int。有没有办法让下面所有的代码行编译和实例化不同的类型？
A<3> a;
A<3.0> b;
A<3.0f> c;
浏览 0提问于2013-02-05得票数 5
回答已采纳
2回答
我希望实现一个简单的错误返回类型，即一个变体，其中一个表示错误，另一个表示成功计算的结果。对于该任务，我希望创建如下所示的错误构造器：
#include <variant>
#include <string>
#include <iostream>
template <typename A> using result_t = std::variant<int, A> ;
template <typename T> result_t<T> make_left_int()
{
return 42;
}
浏览 5提问于2017-09-08得票数 1
回答已采纳
我正在构建一个具有类std接口的数据结构类，并为该数据结构实现不同的迭代器。
从概念上讲，我想做的事情是这样的：
template <class DataT>
class DataStructure
{
protected:
DataT& Data;
public:
DataStructure(DataT& data) : Data(data) {}
class BaseIterator
{
public:
BaseIterator()
{
cout<<
浏览 1提问于2011-04-26得票数 0
回答已采纳
1回答
这句话：
auto test = add<Suc < Suc < Suc < Suc < Zero > > > > > (three, one);
如果我用以下文字代替：
auto test = add(three, one);
我忽略了错误候选模板:无法推断模板参数'W'，使用带有std=c++11的Clang编译器--我无法想象任何其他满足W的值--有办法修复它吗？
#include <type_traits>
template<typename T>
class Nat
浏览 4提问于2019-11-20得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
