可以找出两个模板参数之间的表达式类型吗？
可以找出两个模板参数之间的表达式类型。在C++中，可以使用typeid运算符来获取表达式的类型信息。typeid运算符返回一个type_info对象，该对象包含有关表达式类型的信息。以下是一个示例：
#include <iostream>
#include <typeinfo>
template <typename T1, typename T2>
void printExpressionType(const T1& t1, const T2& t2) {
std::cout << "Expression type: " << typeid(t1 + t2).name() << std::endl;
}
int main() {
int a = 5;
double b = 3.14;
printExpressionType(a, b); // 输出表达式类型
return 0;
}输出结果将显示表达式类型的名称，例如：
Expression type: d在这个例子中，我们使用了模板函数printExpressionType来打印两个模板参数之间的表达式类型。在main函数中，我们传递了一个int类型的变量a和一个double类型的变量b作为参数调用printExpressionType函数。函数内部使用typeid运算符获取表达式a + b的类型，并打印出类型名称。
需要注意的是，typeid返回的类型名称可能是编译器特定的名称，不同的编译器可能会有不同的命名规则。因此，具体的类型名称可能会有所差异。
对于这个问题，腾讯云的相关产品和产品介绍链接地址如下：
- 腾讯云C++ SDK：https://cloud.tencent.com/document/product/876
- 腾讯云函数计算（Serverless）：https://cloud.tencent.com/product/scf
- 腾讯云容器服务（TKE）：https://cloud.tencent.com/product/tke
- 腾讯云弹性MapReduce（EMR）：https://cloud.tencent.com/product/emr
- 腾讯云数据库（TencentDB）：https://cloud.tencent.com/product/cdb
- 腾讯云CDN加速：https://cloud.tencent.com/product/cdn
- 腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
- 腾讯云物联网（IoT）：https://cloud.tencent.com/product/iot
- 腾讯云移动开发（MSS）：https://cloud.tencent.com/product/mss
- 腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
- 腾讯云区块链（BCS）：https://cloud.tencent.com/product/bcs
- 腾讯云虚拟专用网络（VPC）：https://cloud.tencent.com/product/vpc
- 腾讯云安全产品：https://cloud.tencent.com/solution/security
相关·内容
2回答
一般min和max - C++
c++、c++11
写了一个一般的最小函数，两个问题出现在我的脑海里。代码可以很好地处理任何输入类型和不同的参数号：
namespace xyz
{
template <typename T1, typename T2>
auto min(const T1 &a, const T2 &b) -> decltype(a+b)
{
return a < b ? a : b;
}
template <typename T1, typename T2, typename ... Args>
auto min(const T1 &a, const T2
浏览 2提问于2013-05-11得票数 9
回答已采纳
2回答
pass作为参数的c++力隐式转换
c++、implicit-conversion、expression-templates
我对C++中的隐式转换有问题。
我试图为向量算法创建一些表达式模板(我知道同样的库已经存在了)。我只是在学习C++，所以我想尝试使用模板)。
我想创建一个类向量，它能够像这样计算：
simd::test::Vector<char, 5> a;
simd::test::Vector<short, 5> b;
auto ret = a + b + a + b;
，哪里的输出将是向量的空头，因为短是大的类型比炭。
现在，我有一个类可以添加相同数据类型的向量。对于不同的类型，我必须调用显式转换：
//simd::test::Vector<short, 5>(a)
浏览 2提问于2018-12-16得票数 1
回答已采纳
2回答
惯用C++11型推广
c++、c++11、type-promotion
有一个科学计算的 on C++，作者(T.Veldhuizen)提出了一种基于特征的方法来解决类型推广问题。我采用了这种方法，并认为它是有效的：
#include<iostream>
#include<complex>
#include<typeinfo>
template<typename T1, typename T2>
struct promote_trait{};
#define DECLARE_PROMOTION(A, B, C) template<> struct promote_trait<A, B> {
浏览 2提问于2013-05-31得票数 14
1回答
C++轴对称稀疏矩阵类型转换
c++、sparse-matrix、armadillo
我想在operator+中添加两个任意(不同)类型的稀疏大小矩阵。
SpMat<double> M1(2,2);
SpMat<cx_double> M2(2,2);
// ..fill both matrices
cout<<M1 + M2<<endl;
编译时，编译器会抱怨没有为这些类型定义operator+。
当对稠密矩阵进行相同处理时，armadillo会自动将双矩阵提升为复矩阵，执行加法并打印复杂的结果矩阵。
operator_plus.hpp中的包含dir中有一个对应的模板，用于添加两个稀疏对象，可能是不同类型的(至少模板定义表明是
浏览 0提问于2016-01-25得票数 1
回答已采纳
6回答
如果我只启用了double和integer，那么它是4个函数。但我想启用所有数据类型(int、long、float、double、unsigned数字等)。这怎么可能呢？
#include <iostream>
using namespace std;
double diff(int num1, int num2) {
return double(num1-num2);
}
double diff(int num1, double num2) {
return double(num1)-num2;
}
double diff(double num1, int
浏览 3提问于2012-11-03得票数 7
回答已采纳
3回答
模板参数推导失败吗？
c++、class、templates、typedef
考虑到以下几门课：
template <typename T1, typename T2>
class A{
public:
// ...
};
template<typename _T>
struct alias { typedef A<int,_T> intA; };
class B{
public:
// ...
template <typename _T> B& operator=(const typename alias<_T>::intA& _arg) { };
};
当我试图
浏览 0提问于2018-11-10得票数 0
回答已采纳
3回答
类型名称是否可以在出线成员定义的类型说明符中省略？
c++、templates、language-lawyer
在测试clang是否需要typename时，我遇到了这种奇怪的行为。clang和gcc都接受这个代码，msvc拒绝它。
template<class T1>
struct A
{
template<class T2>
struct B
{
static B f;
static typename A<T2>::template B<T1> g;
};
};
template<class T1>
template<class T2>
typename A<
浏览 5提问于2013-08-20得票数 12
1回答
用命名空间替换模板会给我的代码带来严重的麻烦吗？
c++、templates、c++11、namespaces
如果我有一个类似下面的代码：
#include <iostream>
template<typename T>
class compare
{
public:
bool comparison(T a,T b)
{
return (a>b);
}
};
int main()
{
int a=6,b=5;
compare<int> cmp_i;
std::cout<<cmp_i.comparison(a,b)<<std::endl;
double c=
浏览 0提问于2015-04-02得票数 0
1回答
当命名空间中的类使用模板化类型作为返回类型时，全局范围朋友操作符声明
c++、templates、namespaces、operators、friend
我正在为一个模板操作符和名称空间处理friend语句。对不起，如果我有点长，但我想给我的问题一个很好的描述。
首先是一些背景。现在忘记名称空间了。我有一个类A和一个公共操作符，需要访问它的私有成员：
template<typename U>
struct B { U valb; };
template<typename U>
struct C { U valc; };
template<typename U,typename V>
struct A
{
private:
U v1; V v2;
template<typename
浏览 5提问于2021-12-22得票数 1
回答已采纳
1回答
从头文件中使用auto关键字访问推导的方法调用
c++、c++14、auto
参加以下课程：
BasicOperations.h
template<typename T1>
class BasicOperations
{
private:
T1 num;
public:
template<typename T1, typename T2>
BasicOperations() : num(0) {}
template<typename T1, typename T2>
auto addition(T1 num1, T2 num2) -&
浏览 2提问于2015-06-19得票数 0
回答已采纳
3回答
C++模板const数组到int
c++、string、templates
因此，我希望能够有一个静态的const编译时结构，它通过使用模板保存一些基于字符串的值。我只想要四个角色。我知道'abcd‘的类型是int，'ab'，'abc'，虽然'a’是char类型的，但它适用于template<int v> struct
我想做的是取一些const char，"abcd“的2,3,4,5的大小，并具有与使用'abcd‘相同的功能。注意，我不是指1,2,3或4，因为我期望空终止符。
cout << typeid("abcd").name() << endl;
浏览 7提问于2012-10-03得票数 0
回答已采纳
2回答
模板专门化，其中模板化类型也是模板
c++、templates
我已经创建了一个用于字符串转换的小实用函数，这样我就不必到处创建ostringstream对象
template<typename T>
inline string ToString(const T& x)
{
std::ostringstream o;
if (!(o << x))
throw BadConversion(string("ToString(") + typeid(x).name() + ")");
return o.str();
}
对于stringstream没有默认的重
浏览 0提问于2009-06-04得票数 5
回答已采纳
假设我有一堆众所周知的值，就像这样(但是const char *只是一个例子，它可能更复杂)：
const char *A = "A", *B = "B", *C = "C", *D = "D", *E = "E", *F = "F", *G = "G";
现在让我们假设，如果某个表达式的结果在其中的一个子集中，我想要以一种特定的方式进行操作：
if (some_complicated_expression_with_ugly_return_type == A ||
some
浏览 8提问于2012-09-02得票数 20
回答已采纳
2回答
如何推导出模板的多个变量参数？
c++、c++20
如何推导出模板的多个变量参数，并使用as std::tuple作为下面的代码？编译时，会出现"'f'：function not not take 5 arguments“错误。
#include <tuple>
struct Type1 {
int v = 0;
};
struct Type2 {
int v = 0;
};
template <typename ..._t1, typename ..._t2>
void f(
_t1... t1,
_t2... t2) {
// t1 as a,
浏览 0提问于2021-10-05得票数 0
2回答
依赖于模板参数的内部类
c++、templates、metaprogramming、partial-specialization、pimpl-idiom
考虑下一个例子：
#include <iostream>
#include <typeinfo>
template< int N, typename T >
struct B
{
struct C;
};
template< typename T >
struct B< 0, T >::C
{
typedef T type;
};
template< int N, typename T >
struct B< N, T >::C
{
typedef T type[N];
};
i
浏览 0提问于2011-03-24得票数 2
回答已采纳
2回答
如何将函数指针作为模板参数传递
c++、templates、function、parameters
第二行编译得很好，但是第三行给我一个错误
int (* const f)() = ff;
cout << typeid(replace<int (*)(), int, char>::type).name() << endl;
cout << typeid(replace<f, int, char>::type).name() << endl;
test.cpp:3:25: error: the value of ‘f’ is not usable in a constant expression
test.cpp:1:
浏览 1提问于2011-12-14得票数 1
回答已采纳
1回答
用CRTP和多重继承消除冗余
c++、multiple-inheritance、c++03、crtp
这个问题是针对C++03的，而不是C++11。
在我使用具有多重继承的CRTP的情况下，我很想知道是否有一种方法可以删除在下面指定B类型时创建的冗余。
#include "boost/typeof/typeof.hpp"
#include "boost/units/detail/utility.hpp"
#include <iostream>
#include <string>
struct One{};
struct Two{};
template<typename T>
struct Type
{
static
浏览 0提问于2015-06-19得票数 2
回答已采纳
3回答
基于模板参数的C++动态调度仿真
c++、polymorphism、rtti、dynamic-dispatch
为了这个问题，这是大大简化了的。说我有等级制度：
struct Base {
virtual int precision() const = 0;
};
template<int Precision>
struct Derived : public Base {
typedef Traits<Precision>::Type Type;
Derived(Type data) : value(data) {}
virtual int precision() const { return Precision; }
Type v
浏览 2提问于2010-03-12得票数 5
回答已采纳
2回答
正确使用模板函数
c++、templates、syntax
我试图学习一些项目的设计原理，我试图运行一个作为示例的代码。在这里，我试图递归地计算n维两点之间的距离，我可以通过许多其他方法来实现这个代码的目标，但我只想具体地理解这个情况。
这是我的密码
template <typename P1, typename P2, int D>
struct pythagoras
{
typedef typename select_most_precise
<
typename coordinate_type<P1>::type,
typename coordinate_type
浏览 6提问于2015-12-11得票数 3
回答已采纳
4回答
C++20:多类型的概念及其约束，正确的语法？
c++、templates、c++20、c++-concepts
已经确认，在即将到来的c++20标准中，根据最近中的，我们将能够指定模板的，并且对于每个类/函数模板，我们将能够在其类型上设置。然而，在文档和教程(例如)中，我找不到适用于多类型用例的正确语法。
假设我们有一个多类型的概念：
template<typename T1, typename T2>
concept AreEqComparable = requires(T1 a, T2 b) {
{ a == b } -> bool;
};
比方说，我想在两个不同类型之间定义一个简单的比较函数。我该怎么做呢？更具体地说，我应该在下面代码的???部分写什么：
???
boo
浏览 48提问于2019-07-11得票数 22
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
活动推荐
腾讯云开发者
