实例解析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这样的简单值类型实例是完全自我包含的--但却不是必须的,举例来说,与引用类型相似,一个值类型也能包含指向本地堆的指针及垃圾回收堆中对象的句柄。在这种情况下,清理释放值类型自身所占用的内存可不是一件简单的事情,因为每种类型的数据成员在超出作用域时,都需要进行清理。查看本文来源

复旦大学附属妇产科医院杨浦院区预约挂号
沧州爱尔医院赵华
徐州治疗阴道炎医院
杭州哪的医院治疗癫痫病好
大同治疗月经不调医院
本文标签: