Парсим и кодогенерируем для С++ с использованием clang

Парсим и кодогенерируем с
использованием clang
Антон Наумович
Юрий Ефимочев

О нас
Разрабатываем бэкап-решение
Тимлид в LogicNow
В прошлом: разработчик в
Microsoft (Hyper-V)
Специализация:
производительность,
отладка, дизайн
Архитектор в LogicNow
Специализация:
высоконагруженные
отказоустойчивые
системы на C++

Кодогенерация
Классическое разделение
1. Пассивная – разовая, с ручными правками
2. Активная – автоматическая, регулярная, без
ручных правок

Частые релизы проекта
Вызовы
● быстрая реакция на изменение требований
● минимизация человеческих ошибок
● высокое покрытие тестами

Microservice-архитектура
Рутинные задачи
● создание сетевых протоколов
● создание слоя хранения данных
● тесты, тесты, тесты

Как генерируют протоколы
Минусы
● нет контроля над процессом генерации
● генерированные исходники “чужеродны” для
проекта
● дублирование кода (“родные” сущности
сосуществуют с генерированными)

Protobuf: пример
// Types.proto
message CustomerInfo
{
required int32 id = 1;
required string name = 2;
required string email = 3;
}
⇓
class CustomerInfo : public ::google::protobuf::Message {
public:
static const ::google::protobuf::Descriptor* descriptor();
static const CustomerInfo& default_instance();
void Swap(CustomerInfo* other);
// implements Message ----------------------------------------------
CustomerInfo* New() const;
void CopyFrom(const ::google::protobuf::Message& from);
void MergeFrom(const ::google::protobuf::Message& from);
void CopyFrom(const CustomerInfo& from);
void MergeFrom(const CustomerInfo& from);
void Clear();
bool IsInitialized() const;
... только декларация 113 строк кода!

gsoap: пример
// Types.gsoap.h
class CustomerInfo
{
public:
int id 1:;
string name 0:;
string email 0:;
};
⇓
И это только декларации, сериализация еще похлеще :)
class SOAP_CMAC CustomerInfo
{
public:
int id;
std::string *name;
std::string *emailAddress;
public:
virtual int soap_type() const { return 38; } /* = unique id
SOAP_TYPE_CustomerInfo */
virtual void soap_default(struct soap*);
virtual void soap_serialize(struct soap*) const;
virtual int soap_put(struct soap*, const char*, const char*) const;
virtual int soap_out(struct soap*, const char*, int, const char*) const;
virtual void *soap_get(struct soap*, const char*, const char*);
...

Single Source of Truth!
// CustomerInfo.h
struct CustomerInfo
{
int Id;
string Name;
CustomerType Type;
};
Сущности Интерфейсы
// ICustomerManager.h
class ICustomerManager
{
virtual int CreateCustomer(CustomerInfo const& customer) = 0;
virtual void UpdateCustomer(CustomerInfo const& customer) = 0;
virtual void DeleteCustomer(int customerId) = 0;
virtual CustomerInfo GetCustomer(int customerId) const = 0;
virtual ICustomerInfoIteratorPtr EnumerateCustomers() const = 0;
virtual ~ICustomerManager() {}
};
Декларации на С++ и есть самодостаточное
базовое мета-описание протокола

Что возможно с clang?
Инструменты на основе clang:
● clang-format
● clang-check
● clang-tidy
● статический анализ, индексирование кода, подсветка синтаксиса

ClangTool: парсер С++ деклараций
Template: ICustomerInfoIterator
Method: EnumerateCustomers
Template: ICustomerInfoIteratorPtr
Struct: CustomerInfo
Type: int
Enum: CustomerType
Type: std::string
Class: ICustomerManager
Method: CreateCustomer
Method: UpdateCustomer
Method: DeleteCustomer
Method: GetCustomer
Вход ClangTool:
struct CustomerInfo
{
int Id;
std::string Name;
CustomerType Type;
};
typedef IIterator<CustomerInfo> ICustomerInfoIterator;
typedef std::unique_ptr<ICustomerInfoIterator>
ICustomerInfoIteratorPtr;
class ICustomerManager
{
public:
virtual int CreateCustomer(CustomerInfo const& curstomer) = 0;
virtual void UpdateCustomer(CustomerInfo const& customer) = 0;
virtual void DeleteCustomer(int customerId) = 0;
virtual CustomerInfo GetCustomer(int customerId) const = 0;
virtual ICustomerInfoIteratorPtr EnumerateCustomers() const = 0;
virtual ~ICustomerManager() {}
};
Реализация: ~500 строк кода

ClangTool: результат (schema)
{
"Interface" : "ICustomerManager",
"Enums" :
[
{ "Name" : "CustomerType", "Values" : [ "Undefined", "Managed", "Unmanaged" ] }
],
"Structs" :
[
{
"Name" : "CustomerInfo",
"Fields" :
[
{ "Name" : "Id", "Type" : "int" },
{ "Name" : "Name", "Type" : "std::string" },
{ "Name" : "Type", "Type" : "CustomerType::Enum" }
]
}
],
"Methods" :
[
{
"Name" : "AddCustomer",
"Arguments" : [ { "Name" : "CustomerInfo", "Type" : "CustomerInfo" } ],
"ReturnType" : "void"
},
...
{
"Name" : "EnumerateCustomers",
"Arguments" : [],
"ReturnType" : "ICustomerInfoIteratorPtr"
}
]
}

Cхема кодогенерации
Шаблоны кодогенерации пишутся разово под класс задач
ClangTool Schema TemplateTool Generated.h/cppInput.h/cpp
Templates

Реализация: TemplateTool
// StructSerialization.gen
void CppToJson(<%struct.Name%> const& native, Json::Value& json)
{
json["typename"] = "<%struct.Name%>";
<%foreach field in struct.Fields%>
CppToJson(native.<%field.Name%>, "<%field.Name%>", json);
<%end%>
}
TemplateTool – кодогенератор на основе шаблонов
// CustomerInfoSerialization.cpp
void CppToJson(CustomerInfo const& native, Json::Value& json)
{
json["typename"] = "CustomerInfo";
CppToJson(native.Id, "Id", json);
CppToJson(native.Name, "Name", json);
CppToJson(native.Type, "Type", json);
}
⇓

Общая схема компиляции
Code Generator = ClangTool + TemplateTool
CodeGenerator Generated.h/cppInput.h/cpp
Templates
Compiler
Binary

JSONAPI_BEGIN(ManagementApi)
...
JSONAPI_ADD_INTERFACE
(
NAME
CustomerManager
INTERFACE
ICustomerManager
INTERFACE_HEADER
Interface/ICustomerManager.h
INCLUDES
Interface/CustomerInfo.h
Core/Iterators/IIterator.h
)
...
JSONAPI_END()
Конфигурация кодогенератора (CMake)

Пример использования протокола
// Server.cpp
#inculude "Management/CustomerManager.h"
#inculude "ManagementApi/Generated/CustomerManagerDispatcher.h"
int main()
{
CustomerManager customerManager;
JsonApiService apiService;
apiService.Register<CustomerManagerDispatcher>(customerManager);
apiService.Start(ports);
}
// Client.cpp
#include "ManagementApi/Generated/CustomerManagerClient.h"
int main()
{
JsonApiClient apiClient("https://domain/jsonapi");
ICustomerManagerPtr customerManager(new CustomerManagerClient(apiClient));
CustomerInfo const info = customerManager->GetCustomer(42);
}

Базы данных
// CustomerInfo.h
struct CustomerInfo
{
int Id;
CustomerType Type;
string Name;
};
// CustomerInfo.ddl
CREATE TABLE CustomerInfo
(
Id INT(4) NOT NULL,
CustomerType INT(4),
Name CHAR(20)
)
уже описанным
способом
⇒
1. Преобразуем С++ декларации в SQL (DDL)
2. Генерируем также и Object-Relational Mapping слой

Базы данных: шаг дальше
С++ 98/2003 (комментарии)
// CustomerInfo.h
struct CustomerInfo
{
int Id;
CustomerType Type; // FK: CustomerType.Id
string Name;
};
Если недостаточно синтаксиса по умолчанию
С++ 11/14 (атрибуты)
// CustomerInfo.h
struct CustomerInfo
{
int Id;
[[FK: CustomerType.Id]]
CustomerType Type;
string Name;
};
// CustomerInfo.ddl
CREATE TABLE CustomerInfo
(
Id INT(4) NOT NULL,
CustomerType INT(4) NOT NULL
REFERENCES CustomerType(Id),
Name CHAR(20),
KEY CustomerType (CustomerType)
)
⇒

Что еще пригодно для генерации?
● Типовые юнит-тесты (для протоколов, баз данных)
● Клиенты для протоколов (на любых языках!) - к
примеру, для авто-тестов:
<%foreach method in Methods%>
@step(log_output=False)
def <%method.Name%>(<%foreach param in method.InputParams%><%param.Name%>, <%end%>):
return __send_post_request('<%method.Name%>'
<%foreach param in method.InputParams%>,<%param.Name%>=<%param.Name%><%end%>)
<%end%>
<%foreach struct in Structs%>
class <%struct.Name%>(JSONStruct):
def __init__(self<%foreach field in struct.Fields%>, <%field.Name%>=None<%end%>):
<%foreach field in struct.Fields%>
self.<%field.Name%> = <%field.Name%>
<%end%>
def __repr__(self):
return str(serialize(self))
<%end%>
- клиент на Python

Генерация дизайн паттернов *
Задача:
● Есть семейство типовых интерфейсов
● Требуется всему семейству добавить поведение
(например, права доступа, потокобезопасность и т.д.)
class ThreadSafe<%persistencyName%>Persistency :
public I<%persistencyName%>Persistency
{
public:
ThreadSafe<%persistencyName%>Persistency(I<%persistencyName%>PersistencyPtr
decoratee, std::mutex& mutex);
private:
<%foreach method in Methods%>
virtual <%method.ReturnType%> <%method.Name%>(<%foreach param in
method.Params%><%if !param.IsFirst%>, <%end%><%param.ExactType%>
<%param.Name%><%end%>)<%if method.IsConstant%> const<%end%>;
<%end%>
private:
I<%persistencyName%>PersistencyPtr m_decoratee;
std::mutex& m_mutex;
};

Итого
Выгоды
● Устранение рутинной работы
● Минимизация человеческих ошибок
● Решение типового набора задач “за
бесплатно”
● Более высокий уровень абстракции
Проблемы
● Версионность (реакция на изменения кода)
● Сопряжение с рукописным кодом
● Сложность конфигурации генератора

Спасибо! Вопросы?
Anton.Naumovich@LogicNow.com
Yury.Efimochev@LogicNow.com

Парсим и кодогенерируем для С++ с использованием clang

More Related Content

What's hot (11)

Similar to Парсим и кодогенерируем для С++ с использованием clang (20)

More from corehard_by (20)

Парсим и кодогенерируем для С++ с использованием clang

Editor's Notes