заданные пользователем преобразования (C++/CLI)
В этом разделе рассматриваются определяемые пользователем преобразования (UDC), когда один из типов в преобразовании является ссылкой или экземпляром типа значения или ссылочного типа.
Неявные и явные преобразования
Определяемое пользователем преобразование может быть неявным или явным. UDC должен быть неявным, если преобразование не приводит к потере информации. В противном случае необходимо определить явный UDC.
Конструктор собственного класса можно использовать для преобразования ссылочного или типа значений в собственный класс.
Дополнительные сведения о преобразованиях см. в разделе "Бокс " и "Стандартные преобразования".
// mcpp_User_Defined_Conversions.cpp
// compile with: /clr
#include "stdio.h"
ref class R;
class N;
value class V {
static operator V(R^) {
return V();
}
};
ref class R {
public:
static operator N(R^);
static operator V(R^) {
System::Console::WriteLine("in R::operator N");
return V();
}
};
class N {
public:
N(R^) {
printf("in N::N\n");
}
};
R::operator N(R^) {
System::Console::WriteLine("in R::operator N");
return N(nullptr);
}
int main() {
// Direct initialization:
R ^r2;
N n2(r2); // direct initialization, calls constructor
static_cast<N>(r2); // also direct initialization
R ^r3;
// ambiguous V::operator V(R^) and R::operator V(R^)
// static_cast<V>(r3);
}
Выходные данные
in N::N
in N::N
Операторы "преобразования из"
Операторы convert-from создают объект класса, в котором оператор определяется из объекта другого класса.
Стандартный C++ не поддерживает операторы преобразования; Стандартный C++ использует конструкторы для этой цели. Однако при использовании типов CLR Visual C++ обеспечивает синтаксическую поддержку вызовов операторов преобразования из.
Чтобы хорошо взаимодействовать с другими языками, соответствующими CLS, может потребоваться упаковать каждый определяемый пользователем унарный конструктор для заданного класса с соответствующим оператором convert-from.
Операторы convert-from:
Должен быть определен как статические функции.
Может быть неявным (для преобразований, которые не теряют точность, например short-to-int) или явным образом, если может возникнуть потеря точности.
Возвращает объект содержащего класса.
Должен иметь тип from в качестве единственного типа параметра.
В следующем примере показан неявный и явный оператор преобразования "convert-from", определяемый пользователем оператор преобразования (UDC).
// clr_udc_convert_from.cpp
// compile with: /clr
value struct MyDouble {
double d;
MyDouble(int i) {
d = static_cast<double>(i);
System::Console::WriteLine("in constructor");
}
// Wrap the constructor with a convert-from operator.
// implicit UDC because conversion cannot lose precision
static operator MyDouble (int i) {
System::Console::WriteLine("in operator");
// call the constructor
MyDouble d(i);
return d;
}
// an explicit user-defined conversion operator
static explicit operator signed short int (MyDouble) {
return 1;
}
};
int main() {
int i = 10;
MyDouble md = i;
System::Console::WriteLine(md.d);
// using explicit user-defined conversion operator requires a cast
unsigned short int j = static_cast<unsigned short int>(md);
System::Console::WriteLine(j);
}
Выходные данные
in operator
in constructor
10
1
Операторы преобразования в
Операторы преобразования в операторы преобразуют объект класса, в котором оператор определен в другой объект. В следующем примере показан неявный, преобразуемый, определяемый пользователем оператор преобразования:
// clr_udc_convert_to.cpp
// compile with: /clr
using namespace System;
value struct MyInt {
Int32 i;
// convert MyInt to String^
static operator String^ ( MyInt val ) {
return val.i.ToString();
}
MyInt(int _i) : i(_i) {}
};
int main() {
MyInt mi(10);
String ^s = mi;
Console::WriteLine(s);
}
Выходные данные
10
Явный определяемый пользователем оператор преобразования в преобразование подходит для преобразований, которые потенциально теряют данные каким-то образом. Чтобы вызвать явный оператор преобразования в, необходимо использовать приведение.
// clr_udc_convert_to_2.cpp
// compile with: /clr
value struct MyDouble {
double d;
// convert MyDouble to Int32
static explicit operator System::Int32 ( MyDouble val ) {
return (int)val.d;
}
};
int main() {
MyDouble d;
d.d = 10.3;
System::Console::WriteLine(d.d);
int i = 0;
i = static_cast<int>(d);
System::Console::WriteLine(i);
}
Выходные данные
10.3
10
Преобразование универсальных классов
Универсальный класс можно преобразовать в T.
// clr_udc_generics.cpp
// compile with: /clr
generic<class T>
public value struct V {
T mem;
static operator T(V v) {
return v.mem;
}
void f(T t) {
mem = t;
}
};
int main() {
V<int> v;
v.f(42);
int i = v;
i += v;
System::Console::WriteLine(i == (42 * 2) );
}
Выходные данные
True
Преобразующий конструктор принимает тип и использует его для создания объекта. Конструктор преобразования вызывается только с прямой инициализацией; Приведения не вызывают конструкторы преобразования. По умолчанию преобразующие конструкторы явны для типов СРЕДЫ CLR.
// clr_udc_converting_constructors.cpp
// compile with: /clr
public ref struct R {
int m;
char c;
R(int i) : m(i) { }
R(char j) : c(j) { }
};
public value struct V {
R^ ptr;
int m;
V(R^ r) : ptr(r) { }
V(int i) : m(i) { }
};
int main() {
R^ r = gcnew R(5);
System::Console::WriteLine( V(5).m);
System::Console::WriteLine( V(r).ptr);
}
Выходные данные
5
R
В этом примере кода неявная статическая функция преобразования выполняет то же самое, что и явный конструктор преобразования.
public value struct V {
int m;
V(int i) : m(i) {}
static operator V(int i) {
V v(i*100);
return v;
}
};
public ref struct R {
int m;
R(int i) : m(i) {}
static operator R^(int i) {
return gcnew R(i*100);
}
};
int main() {
V v(13); // explicit
R^ r = gcnew R(12); // explicit
System::Console::WriteLine(v.m);
System::Console::WriteLine(r->m);
// explicit ctor can't be called here: not ambiguous
v = 5;
r = 20;
System::Console::WriteLine(v.m);
System::Console::WriteLine(r->m);
}
Выходные данные
13
12
500
2000