实例解析C＋＋-CLI之值类型
2019-12-05 07:42:29 来源: 邯郸信息港
基本类型映射
遵照标准C++的精神，对CLI值类型的基本类型映射，都已经全部在定义中实现了，就Microsoft Visual C++而言，映射关系如表1所示。
C++/CLI类型CLI值类型boolSystem::Booleanwchar_tSystem::Charsigned charSystem::SByteunsigned charSystem::BytecharSystem::SByte或 System::Byteshort intSystem::Int16unsigned short intSystem::UInt16int System::Int32unsigned intSystem::UInt32long long intSystem::Int64unsigned long long intSystem::UInt64floatSystem::SingledoubleSystem::Double 表1：C++/CLI与CLI值类的映射关系
另外，还有一种值类型：System::Decimal，但没有对应的C++/CLI类型。
请看以下表达式，它们都涉及到访问前述CLI值类型的静态或实例成员。
Int32::MaxValue
Double::Parse("123.45e-1")
10.2f.ToString()
(10 + 5.9).ToString()
(100).ToString()
100 .ToString()
因应Visual C++的映射，10.2f的类型为float，其映射为System::Single，并调用了其ToString函数；类似地，(10 + 5.9)类型为double，因此调用了System::Double的ToString。显然，从语义的角度来看，带有圆括号的100与其后带有一个空格的100，这种写法是多余的，但是，如果忽略它们，100与其后的句点将会解析为一个带有标识符的double常量，这会导致语法错误。
复数问题
例4，演示了一个有着实部与虚部的复数的值类型。
例4：
using namespace System;
public value class Complex
{
double real;
double imag;
public:
static initonly Complex i;
static Complex()
{
i = Complex(0.0, 1.0);
}
Complex(double real)
{
this->real = real;
this->imag = 0.0;
}
Complex(double real, double imag)
{
this->real = real;
this->imag = imag;
}
property double Real
{
double get() { return real; }
void set(double value) { real = value; }
}
property double Imag
{
double get() { return imag; }
void set(double value) { imag = value; }
}
static Complex operator+(Complex z1, Complex z2)
{
return Complex(z1.real + z2.real, z1.imag + z2.imag);
}
static Complex operator-(Complex z1, Complex z2)
{
return Complex(z1.real - z2.real, z1.imag - z2.imag);
}
String^ ToString() override
{
if (imag < 0.0)
{
return String::Format("({0} - {1}i)", real, -imag);
}
else if (1.0/imag == Double::NegativeInfinity)
{
return String::Format("({0} - 0.0i)", real);
}
else
{
return String::Format("({0} + {1}i)", real, +imag);
}
}
};
CLI要求使用IEEE浮点表示法，这是一种比IEC 10559更正式的表示法，其中，零在single与double中表示为全部位为零。正因为此，所以可安全地使用CLI提供的默认构造值。
程序中，定义了一个复数i，其表示-1的平方根，这样，复数类型就可以提供具有此值的public只读常量，而这是由一个public static成员及一个static构造函数共同完成的。因为Complex在此不是一个基本类型，所以i不能成为一个只读（readonly）成员，因为无论如何，这都需要用一个常量表达式来初始化它，但这种事是不存在的。所以，我们能做的，就是让i成为initonly，并在static构造函数中初始化它。例5是测试程序及输出。
例5：
using namespace System;
int main()
{
Complex c1;
Complex c2(12.5);
Complex c3(-1.23, -4.5);
Complex c4 = c2 + c3;
Complex c5 = c2 - c3;
Console::WriteLine("c1: {0}", c1);
Console::WriteLine("c2: {0}", c2);
Console::WriteLine("c3: {0}", c3);
Console::WriteLine("c4: {0}", c4);
Console::WriteLine("c5: {0}", c5);
Console::WriteLine("i: {0}", Complex::i);
Console::WriteLine("c3.Real: {0}", c3.Real);
Console::WriteLine("c3.Imag: {0}", c3.Imag);
}
c1: (0 + 0i)
c2: (12.5 + 0i)
c3: (-1.23 - 4.5i)
c4: (11.27 - 4.5i)
c5: (13.73 + 4.5i)
i: (0 + 1i)
c3.Real: -1.23
c3.Imag: -4.5
一些其他事项
注意，一个值类型不应包含：
·类型为本地C++数组、本地类类型或位字段的数据成员
·包含局部类的成员函数
·为friend的成员
·析构函数
一个传值、传址、传引用、或追踪引用的函数，可传递进或返回一个值类。
在引用类T的实例构造函数或成员函数中，this的类型为"指向T的句柄"，然而，对值类型而言，this为interior_ptr<T>。
像Point与Complex这样的简单值类型实例是完全自我包含的--但却不是必须的，举例来说，与引用类型相似，一个值类型也能包含指向本地堆的指针及垃圾回收堆中对象的句柄。在这种情况下，清理释放值类型自身所占用的内存可不是一件简单的事情，因为每种类型的数据成员在超出作用域时，都需要进行清理。查看本文来源
复旦大学附属妇产科医院杨浦院区预约挂号沧州爱尔医院赵华
徐州治疗阴道炎医院
杭州哪的医院治疗癫痫病好
大同治疗月经不调医院
