Функция освобождения COM-объекта выдает ошибку при передаче параметра IUnknown * & as

” 1. Почему возникает ошибка?

Учти это:

struct Animal {};
struct Dog: Animal { void bark() {} };
struct Dolphin: Animal { void dive() {} };

void foo( Animal*& p ) { p = new Dolphin(); }

auto main() -> int
{
    Dog* p = new Dog();
    foo( p );             //! C2664, Would have changed p to point to Dolphin.
    p->bark();            // Uh huh...
}

Итак, это не разрешено.

Есть еще одно и то же, например. относительно глубокой const-ности фактического и формального аргумента, и он широко известен как принцип подстановки Лисков, LSP, в честь Барбары Лисков.

” 2. Как правильно написать?

Одним из решений общей проблемы, как уже упоминал Ханс Пассант, является использование шаблонов для прямой работы с типом или типы под рукой, без преобразования.

Однако в этом конкретном случае, если вы уверены, что у вас нет нулевого указателя, просто вызовите p->Release() вместо SafeRelease( p ).

” 3. Если для написания этой функции нельзя использовать наследование, должен ли я использовать шаблоны?

Вы можете использовать шаблоны, но это не обязательно; см. выше.

» 4. Есть ли что-то, с чем мне нужно быть осторожным при реализации этого с использованием предложенного метода?

Предлагаемый метод включает предполагаемое неявное преобразование Derived* → Base* для указателей интерфейса COM.

Обратите внимание, что хотя преобразование Derived* → Base* обычно хорошо работает и с COM-интерфейсами, интерфейс IUnknown подчиняется очень особым правилам.

А именно, внутри COM-объекта может быть несколько IUnknown подобъектов, соответствующих возможным IUnknown* указателям на этот объект, но только одно из этих значений указателя идентифицирует объект.

Поэтому, если вам нужен указатель IUnknown, который идентифицирует объект, указатель, который можно сравнить с другими указателями IUnknown, чтобы проверить, является ли это одним и тем же объектом, вы должны использовать QueryInterface для получения указателя IUnknown.

К счастью, вы можете использовать QueryInterface с помощью любого имеющегося у вас указателя интерфейса, а поскольку эта функция-член предоставляется через интерфейс IUnknown, который наследуют все остальные интерфейсы, это показывает, что вы можете использовать неидентифицирующие указатели IUnknown для других целей, кроме идентификации.

COM не разрешает приведение указателей интерфейса, вы должны использовать QueryInterface(). Это обеспечивается компилятором C++. Как это:

class Base {};
class Derived : /*public*/ Base {};

inline void SafeRelease(Base* & ptr) {}

void test() {
    auto p = new Derived;
    SafeRelease(p);      // C2664
}

Вы можете сделать это с помощью функции шаблона:

template<typename T>
inline void SafeRelease(T * & in_COM_Pointer) {
    if (NULL != in_COM_Pointer) {
        in_COM_Pointer->Release();
        in_COM_Pointer = NULL;
    }
}

^{Примечание. Чтобы полностью понять информацию в этом посте, необходимо знать некоторые сведения о lvalues ​​и rvalues. требуется.}

Вступление

SafeRelease(_D3DDevice); // ill-formed

Здесь мы пытаемся передать адрес _D3DDevice в SetRelease, но его нельзя вызвать, так как для него требуется lvalue (ссылка на) типа указатель-на- IНеизвестно.

Тот факт, что Derived наследуется от Base, не означает, что указатель lvalue на Derived может быть преобразован в < strong>lvalue типа указателя на Base.

Неявное преобразование из Derived* в Base* даст rvalue.

struct A     { };
struct B : A { };

void func (A*&);

B* p = ...;
func (ptr);      // ill-formed, the implicitly yield `A*` is not an lvalue,
                 //             and rvalues cannot bind to lvalues refernces

Что такое "решение"?

inline void SafeRelease( IUnknown * in_COM_Pointer );

SafeRelease (&_D3DDevice); // (A)

(A) will yield a temporary of type pointer-to-IDirect3DDevice9, this pointer can implicitly turn into a pointer-to-IUnknown since IDirect3DDevice9 inherits from IUnknown.

Мы больше не пытаемся сформировать lvalue-ссылку на неявный указатель yield, и код компилируется.

Подразумеваемое

... но это также означает, что мы не сможем обновить значение любого переданного аргумента указателя, поэтому, если это требование, у вас есть/должно прибегать к использованию шаблонов, чтобы вы могли получить ссылку на переданное фактическое значение как аргумент.

template<typename T>
inline void SafeRelease(T * & in_COM_Pointer);

IDirect3DDevice9 унаследовано от IUnknown, но это не совсем IUnknown. Это делает переменную IDirect3DDevice9* несовместимой с аргументом IUnknown*&.

Следовательно, вам нужно либо приводить между типами, либо использовать более гибкую функцию освобождения, основанную на шаблоне, например:

template <typename IFoo>
VOID SafeRelease(IFoo*& pFoo)
{
    if(!pFoo)
        return;
    pFoo->Release();
    pFoo = NULL;
}

IDirect3DDevice9* pDevice = ...
...
SafeRelease(pDevice);

Или, скорее, и это серьезное улучшение точности разработки, используйте обертки шаблонов вместо необработанных указателей интерфейса, таких как CComPtr.

CComPtr<IDirect3DDevice9> pDevice = ...
...
pDevice.Release(); // or pDevice = NULL, 
           // or nothing - automatic release on going out of scope