Практическое руководство. Использование safe_cast в C++/CLI
В этой статье показано, как использовать safe_cast в приложениях C++/CLI. Сведения о safe_cast в C++/CX см. в safe_cast.
Upcasting
Переадресная рассылка — это приведение из производного типа к одному из его базовых классов. Этот приведение является безопасным и не требует явной нотации приведения. В следующем примере показано, как выполнять передачу вверх и safe_cast без нее.
// safe_upcast.cpp
// compile with: /clr
using namespace System;
interface class A {
void Test();
};
ref struct B : public A {
virtual void Test() {
Console::WriteLine("in B::Test");
}
void Test2() {
Console::WriteLine("in B::Test2");
}
};
ref struct C : public B {
virtual void Test() override {
Console::WriteLine("in C::Test");
};
};
int main() {
C ^ c = gcnew C;
// implicit upcast
B ^ b = c;
b->Test();
b->Test2();
// upcast with safe_cast
b = nullptr;
b = safe_cast<B^>(c);
b->Test();
b->Test2();
}
in C::Test
in B::Test2
in C::Test
in B::Test2
Даунинг
Даункаст — это приведение от базового класса к классу, который является производным от базового класса. Ниспадающая рассылка безопасна, только если объект, адресованный во время выполнения, фактически обращается к производной объекту класса. В отличие от static_castдинамических safe_cast проверка и вызывается, если преобразование завершается InvalidCastException ошибкой.
// safe_downcast.cpp
// compile with: /clr
using namespace System;
interface class A { void Test(); };
ref struct B : public A {
virtual void Test() {
Console::WriteLine("in B::Test()");
}
void Test2() {
Console::WriteLine("in B::Test2()");
}
};
ref struct C : public B {
virtual void Test() override {
Console::WriteLine("in C::Test()");
}
};
interface class I {};
value struct V : public I {};
int main() {
A^ a = gcnew C();
a->Test();
B^ b = safe_cast<B^>(a);
b->Test();
b->Test2();
V v;
I^ i = v; // i boxes V
V^ refv = safe_cast<V^>(i);
Object^ o = gcnew B;
A^ a2= safe_cast<A^>(o);
}
in C::Test()
in C::Test()
in B::Test2()
safe_cast с пользовательскими преобразованиями
В следующем примере показано, как можно использовать safe_cast для вызова определяемых пользователем преобразований.
// safe_cast_udc.cpp
// compile with: /clr
using namespace System;
value struct V;
ref struct R {
int x;
R() {
x = 1;
}
R(int argx) {
x = argx;
}
static operator R::V^(R^ r);
};
value struct V {
int x;
static operator R^(V& v) {
Console::WriteLine("in operator R^(V& v)");
R^ r = gcnew R();
r->x = v.x;
return r;
}
V(int argx) {
x = argx;
}
};
R::operator V^(R^ r) {
Console::WriteLine("in operator V^(R^ r)");
return gcnew V(r->x);
}
int main() {
bool fReturnVal = false;
V v(2);
R^ r = safe_cast<R^>(v); // should invoke UDC
V^ v2 = safe_cast<V^>(r); // should invoke UDC
}
in operator R^(V& v
in operator V^(R^ r)
операции safe_cast и бокса
Упаковка-преобразование
Бокс определяется как внедренное компилятором пользовательское преобразование. Таким образом, можно использовать safe_cast для поля значения в куче СРЕДЫ CLR.
В следующем примере показана бокс с простыми и пользовательскими типами значений. В safe_cast полях переменная типа значения, которая находится в собственном стеке, чтобы ее можно было назначить переменной в куче, собранной мусором.
// safe_cast_boxing.cpp
// compile with: /clr
using namespace System;
interface struct I {};
value struct V : public I {
int m_x;
V(int i) : m_x(i) {}
};
int main() {
// box a value type
V v(100);
I^ i = safe_cast<I^>(v);
int x = 100;
V^ refv = safe_cast<V^>(v);
int^ refi = safe_cast<int^>(x);
}
В следующем примере показано, что бокс имеет приоритет над определяемым пользователем преобразованием в safe_cast операции.
// safe_cast_boxing_2.cpp
// compile with: /clr
static bool fRetval = true;
interface struct I {};
value struct V : public I {
int x;
V(int argx) {
x = argx;
}
static operator I^(V v) {
fRetval = false;
I^ pi = v;
return pi;
}
};
ref struct R {
R() {}
R(V^ pv) {}
};
int main() {
V v(10);
I^ pv = safe_cast<I^>(v); // boxing will occur, not UDC "operator I^"
}
Распаковка-преобразование
Распаковка определяется как внедренное компилятором пользовательское преобразование. Таким образом, можно использовать safe_cast для распаковки значения в куче СРЕДЫ CLR.
Распаковка — это определяемое пользователем преобразование, но в отличие от бокса, распаковка должна быть явной, то есть она должна выполняться приведением static_castв стиле C или safe_castнеявно выполнять распаковку.
// safe_cast_unboxing.cpp
// compile with: /clr
int main() {
System::Object ^ o = 42;
int x = safe_cast<int>(o);
}
В следующем примере показано распаковка с типами значений и примитивными типами.
// safe_cast_unboxing_2.cpp
// compile with: /clr
using namespace System;
interface struct I {};
value struct VI : public I {};
void test1() {
Object^ o = 5;
int x = safe_cast<Int32>(o);
}
value struct V {
int x;
String^ s;
};
void test2() {
V localv;
Object^ o = localv;
V unboxv = safe_cast<V>(o);
}
void test3() {
V localv;
V^ o2 = localv;
V unboxv2 = safe_cast<V>(o2);
}
void test4() {
I^ refi = VI();
VI vi = safe_cast<VI>(refi);
}
int main() {
test1();
test2();
test3();
test4();
}
safe_cast и универсальные типы
В следующем примере показано, как можно использовать safe_cast для выполнения подкастовой рассылки с универсальным типом.
// safe_cast_generic_types.cpp
// compile with: /clr
interface struct I {};
generic<class T> where T:I
ref struct Base {
T t;
void test1() {}
};
generic<class T> where T:I
ref struct Derived:public Base <T> {};
ref struct R:public I {};
typedef Base<R^> GBase_R;
typedef Derived<R^> GDerived_R;
int main() {
GBase_R^ br = gcnew GDerived_R();
GDerived_R^ dr = safe_cast<GDerived_R^>(br);
}
См. также
Обратная связь
Ожидается в ближайшее время: в течение 2024 года мы постепенно откажемся от GitHub Issues как механизма обратной связи для контента и заменим его новой системой обратной связи. Дополнительные сведения см. в разделе https://aka.ms/ContentUserFeedback.
Отправить и просмотреть отзыв по