Александр Шаргин - Делегаты на C++

Делегаты - это объектно-ориентированные указатели на функции, используемые для callback-вызовов в среде CLR фирмы Microsoft. Делегат можно связать со статической функцией или с нестатическим методом любого класса (единственное условие - совпадение сигнатуры метода с сигнатурой, указанной в описании делегата). Затем связанную с делегатом функцию или метод можно вызывать, используя стандартный синтаксис вызова функции в C++. Несколько делегатов можно связать в цепочку. Благодаря этому можно "одним махом" вызвать все связанные с ними callback-функции. Следующий пример демонстрирует применение делегатов в языке C#.

using System;

using System.IO;

namespace CSharpDelegates {

class App {

// Определяем делегат Callback,

// который принимает 1 параметр и ничего не возвращает.

public delegate void Callback(string str);

// Это метод класса App.

public void OutputToConsole(string str) {

Console.WriteLine(str);

}

// А это статический метод класса App.

public static void OutputToFile(string str) {

StreamWriter sw = new StreamWriter("output.txt", true);

sw.WriteLine(str);

sw.Close();

}

public static void Main(string[] args) {

App app = new App();

// Создаём делегат.

App.Callback callback = null;

if (callback != null) callback("1");

// Добавляем ссылку на OutputToFile.

// Вызываем её через делегата.

callback += new App.Callback(App.OutputToFile);

if (callback != null) callback("2");

// Добавляем ссылку на OutputToConsole.

// Вызывается вся цепочка:

// сначала OutputToFile, потом OutputToConsole.

callback += new App.Callback(app.OutputToConsole);

if (callback != null) callback("3");

// Убираем ссылку на OutputToFile.

// Вызывается только OutputToConsole.

callback -= new App.Callback(App.OutputToFile);

if (callback!= null) callback("4");

// Убираем оставшуюся ссылку на OutputToConsole.

callback -= new App.Callback(app.OutputToConsole);

if (callback != null) callback("5");

}

}

}

Делегаты в CLR удобны, типобезопасны и эффективны. Последнее время на форумах RSDN часто поднимается вопрос о том, можно ли реализовать делегаты с аналогичными свойствами, оставаясь в рамках "чистого" C++. Оказывается, это вполне возможно. В этой статье я покажу, как это сделать.

Для начала создадим делегат для callback-вызова функций и методов с простейшей сигнатурой void(void). Интерфейс этого делегата будет выглядеть так.

class IDelegateVoid {

public:

virtual ~IDelegateVoid() {}

virtual void Invoke() = 0;

virtual bool Compare(IDelegateVoid* pDelegate) = 0;

};

Invokeиспользуется для вызова функции или метода, связанного с делегатом, а Compareсравнивает 2 делегата и возвращает true, если они связаны с одной и той же функцией (методом). Очевидно, что реализация интерфейса IDelegateVoidбудет отличаться для статических функций и нестатических методов класса, поэтому мы разнесём эти реализации по различным классам. Класс CStaticDelegateVoidбудет "отвечать" за статические функции, а класс CMethodDelegateVoid- за нестатические методы.

Класс CStaticDelegateVoidпросто инкапсулирует указатель типа void (*)():

class CStaticDelegateVoid: public IDelegateVoid {

public:

typedef void (*PFunc)();

CStaticDelegateVoid(PFunc pFunc) { m_pFunc = pFunc; }

virtual void Invoke() { m_pFunc(); }

virtual bool Compare(IDelegateVoid* pDelegate);

private:

PFunc m_pFunc;

};

Метод Compareдолжен проверить, что переданный ему указатель IDelegateVoid*в действительности ссылается на объект CStaticDelegateVoid. Если это не так, делегаты различны (ссылаются на разные функции) и Compareпросто возвращает false. Иначе результат определяется сравнением переменных-членов m_pFuncу двух объектов. Реализация этой идеи выглядит так.

bool CStaticDelegateVoid::Compare(IDelegateVoid *pDelegate) {

CStaticDelegateVoid* pStaticDel = dynamic_cast‹CStaticDelegateVoid*›(pDelegate);

if (pStaticDel == NULL || pStaticDel-›m_pFunc != m_pFunc) return false;

return true;

}

Класс CMethodDelegateVoidчуть-чуть сложнее. Он должен инкапсулировать указатель на объект и указатель на метод этого объекта. Поскольку в C++ указатели на методы двух разных классов принципиально отличаются (и могут даже иметь разный размер), нам нужна отдельная реализация CMethodDelegateVoidдля каждого нового класса, на методы которого мы хотим ссылаться. Поэтому класс CMethodDelegateVoidдолжен быть шаблоном. В остальном его реализация аналогична CStaticDelegateVoid.