原文地址
Generate C interface from C++ source code using Clang libtooling
Dec 6, 2016 · 24 minute read · Comments
clangllvmCC++
I developed a concurrent user-thread library using C++, and was looking for a way to provide a C interface and make the functionality available in C. In order to achieve this goal, I started writting a C wrapper interface manually where each public method of a class is mapped to a function in C with the class name followed by the function name. Also, constructors are mapped to class name followed by _create and destructors are mapped to the class name followed by _destory. To create an object, memory is allocated using new in C++ and the pointer is casted to a struct pointer in C using reinterpret_cast. The casted pointer in C is passed to member functions of that object and is used to call the member function of the instance. To delete the object, the pointer is passed to the _destroy function and delete is used to call the deconstructor. For example, for the calss Rectangle below stored in Rectangle.h:
class Rectangle{
private:
int length;
int width;
public:
Rectangle(int l, int w): length(l), width(w){};
int area(){ return length*width;};
perimeter() { return 2*(lendth+width);};
~Rectangle(){};
}
Two files cwrapper.h and cwrapper.cpp are created to map the Rectangle class to C:
#ifdef __cplusplus
extern "C"{
#endif
/* Wrapper struct to hold a pointer to
Rectangle object in C */
struct WRectangle;
typedef struct WRectangle WRectangle;
/* Wrapper for the constructor */
WRectangle* Rectangle_create(int l, int w);
/* Wrapper for destructor */
void Rectangle_destroy(WRectangle* self);
/* Wrapper for method area */
int Rectangle_area(WRectangle* self);
/* Wrapper for method perimeter */
int Rectangle_perimeter(WRectangle* self);
#ifdef __cplusplus
}
#endif
#include "Rectangle.h"
#include "cwrapper.h"
#ifdef __cplusplus
extern "C"{
#endif
WRectangle* Rectangle_create(int l, int w){
//calling the constructor and casting the pointer to WRectangle
return reinterpret_cast( new Rectangle(l,w) );
}
void Rectangle_destroy(WRectangle* self){
//calling the destructor
delete reinterpret_cast(self);
}
int Rectangle_area(WRectangle* self){
return reinterpret_cast(self)->area();
}
int Rectangle_perimeter(WRectangle* self){
return reinterpret_cast(self)->perimeter();
}
#ifdef __cplusplus
}
#endif
The wrapper functions can be used in C source code to interact with the C++ objects. I manually created two files cwrapper.h and cwrapper.cpp for uThreads library which make the library available in C. These files were maintainable when the library was small and there were not many classes and functions to map. However, as the library grew it became harder and harder to maintain the cwrapper functions for all the classes. Thus, I started exploring other options to generate such interface automatically, where the C++ source code is parsed and analysed and various information is extracted automatically, or to word it better I needed a compiler frontend!
Clang libtooling supports writing standalone tools based on Clang. To generate the C interface, I use Clang AST Matcher to find public methods of specific classes and generate the C functions based on that. To get familiar with Clang AST you can refer to this articls.
For this tool to work, you need LLVM and Clang installed on your system. You can either build them from source, which will take a long time to finish, or you can install precompiled packages for your operating system. I am using Calng version 4.0.0 and LLVM version 4.0.0, but I tested the code with Clang and LLVM v3.8 and it works fine. To install Clang and LLVM under ubuntu issue sudo apt-get install llvm llvm-dev clang (if installing llvm-3.8 you might want to use to following workaround provided here to make it work).
I am going to explain how I used Clang libtooling to generate the cwrapper files for uThreads. The finished code can be found here. This is not used to generate the actual cwrapper files under uThreads, as it still needs some improvements before it can be used in production. Before I explain the code, let’s go through some rules and issues for generating the cwrapper functions:
- Cwrapper functions should only be generated for static and public member functions of each class. There is no point to map private member functions of classes to C.
- I am not going to map operator overloading, copy constructor and move constructor functions to C, as uThreads classes do not have any of that
- uThreads does not have a namespace yet (it will be added in the future), so there should be a way of figuring out the name of the classes under uThreads that I want to map to C. If there was a namespace, I could simply find all the classes under that namespace and use them to achieve the goal. But for now, I am using a list of class names to map to C stored in
std::vector. - Since function overloading is not supported in C, there should be a way to map overloaded functions to C. For now I use numbering to map the overloaded functions to C. e.g., uThread_create and uThread_create_1 are constructors for uThread class.
- Template functions are not supported in the current version and will be supported in the future.
- Here, all the functions only accepts builtin types and references to uThreads objects, thus make it easy to generate the C counterparts. However, if objects from outside libraries or even standard libraries are passed to or returned from the functions, it needs additional effort to make it work. Since those classes should be listed separately and a struct in C should be generated for them and a pointer to them stored in the C code.
Let’s also take a look at the generated AST by Clang. If you pass -Xclang -ast-dump to clang, you can see the AST that is generated by clang. So issueing the following command in the root directory of uThreads will print out the AST in a simple text format:
clang++ -Xclang -ast-dump -fsyntax-only -I./src -std=c++11 include/uThreads.h
include/uThreads.h is the file that includes all the header files in uThreads, thus all uThreads classes and functions are present when passing the file to clang. Also, since many stdlib and system files are included the resulting AST is going to be very large, as it covers all the included files as well. Here are AST nodes related to constructor, destructor, and method accept from class Connection in uThreads:
|-CXXConstructorDecl 0x3a4a1f0 <line:87:5, col:75> col:5 Connection 'void (int, int, int) throw(std::system_error)'
| |-ParmVarDecl 0x3a49fd8 <col:16, col:20> col:20 domain 'int'
| |-ParmVarDecl 0x3a4a048 <col:28, col:32> col:32 type 'int'
| |-ParmVarDecl 0x3a4a0b8 <col:38, col:42> col:42 protocol 'int'
| `-FullComment 0x3bc0040 <line:78:7, line:86:5>
| |-ParagraphComment 0x3bbfdc0 <line:78:7>
| | `-TextComment 0x3bbfd90 <col:7> Text=" "
| |-BlockCommandComment 0x3bbfde0 <col:8, line:79:7> Name="brief"
| | `-ParagraphComment 0x3bbfe60 <line:78:14, line:79:7>
| | |-TextComment 0x3bbfe10 <line:78:14, col:65> Text=" Same as socket syscall adds | SOCK_NONBLOCK to type"
| | `-TextComment 0x3bbfe30 <line:79:7> Text=" "
| |-BlockCommandComment 0x3bbfe80 <col:8, col:37> Name="return"
| | `-ParagraphComment 0x3bbfee0 <col:15, col:37>
| | `-TextComment 0x3bbfeb0 <col:15, col:37> Text=" same as socket syscall"
| |-ParagraphComment 0x3bbffa0 <line:81:7, line:84:29>
| | |-TextComment 0x3bbff00 <line:81:7, col:69> Text=" Throws a std::system_error exception. Do not call from C code."
| | |-TextComment 0x3bbff20 <line:82:7, col:68> Text=" The unerlying socket is always nonbelocking. This is achieved"
| | |-TextComment 0x3bbff40 <line:83:7, col:60> Text=" by adding a (| SOCK_NONBLOCK) to type, thus requires"
| | `-TextComment 0x3bbff60 <line:84:7, col:29> Text=" linux kernels > 2.6.27"
| `-ParagraphComment 0x3bbfff0 <line:86:1, col:5>
| `-TextComment 0x3bbffc0 <col:1, col:5> Text=" "
|-CXXDestructorDecl 0x3a4a318 <line:89:5, col:17> col:5 ~Connection 'void (void)' noexcept-unevaluated 0x3a4a318
|-CXXMethodDecl 0x3a4a630 <line:99:5, col:75> col:9 accept 'int (class Connection *, struct sockaddr *, socklen_t *)'
| |-ParmVarDecl 0x3a4a408 <col:16, col:28> col:28 conn 'class Connection *'
| |-ParmVarDecl 0x3a4a490 <col:34, col:51> col:51 addr 'struct sockaddr *'
| |-ParmVarDecl 0x3a4a500 <col:57, col:68> col:68 addrlen 'socklen_t *'
| `-FullComment 0x3bc03a0 <line:92:7, line:97:52>
| |-ParagraphComment 0x3bc00e0 <line:92:7>
| | `-TextComment 0x3bc00b0 <col:7> Text=" "
| |-BlockCommandComment 0x3bc0100 <col:8, line:94:7> Name="brief"
| | `-ParagraphComment 0x3bc01b0 <line:92:14, line:94:7>
| | |-TextComment 0x3bc0130 <line:92:14, col:75> Text=" nonblocking accept syscall and updating the passed Connection"
| | |-TextComment 0x3bc0150 <line:93:7, col:13> Text=" object"
| | `-TextComment 0x3bc0170 <line:94:7> Text=" "
| |-ParamCommandComment 0x3bc01d0 <col:8, line:95:7> [in] implicitly Param="conn" ParamIndex=0
| | `-ParagraphComment 0x3bc0280 <line:94:19, line:95:7>
| | |-TextComment 0x3bc0230 <line:94:19, col:73> Text=" Pointer to a Connection object that is not initialized"
| | `-TextComment 0x3bc0250 <line:95:7> Text=" "
| |-BlockCommandComment 0x3bc02a0 <col:8, col:41> Name="return"
| | `-ParagraphComment 0x3bc0300 <col:15, col:41>
| | `-TextComment 0x3bc02d0 <col:15, col:41> Text=" same as accept system call"
| `-ParagraphComment 0x3bc0350 <line:97:7, col:52>
| `-TextComment 0x3bc0320 <col:7, col:52> Text=" This format is used for compatibility with C"
|-CXXMethodDecl 0x3a4a8c0 <line:107:5, col:90> col:17 accept 'class Connection *(struct sockaddr *, socklen_t *) throw(std::system_error)'
| |-ParmVarDecl 0x3a4a740 <col:24, col:41> col:41 addr 'struct sockaddr *'
| |-ParmVarDecl 0x3a4a7b0 <col:47, col:58> col:58 addrlen 'socklen_t *'
| `-FullComment 0x3bc05f0 <line:102:7, line:105:72>
| |-ParagraphComment 0x3bc0440 <line:102:7>
| | `-TextComment 0x3bc0410 <col:7> Text=" "
| |-BlockCommandComment 0x3bc0460 <col:8, line:103:7> Name="brief"
| | `-ParagraphComment 0x3bc04e0 <line:102:14, line:103:7>
| | |-TextComment 0x3bc0490 <line:102:14, col:66> Text=" Accepts a connection and returns a connection object"
| | `-TextComment 0x3bc04b0 <line:103:7> Text=" "
| |-BlockCommandComment 0x3bc0500 <col:8, col:39> Name="return"
| | `-ParagraphComment 0x3bc0560 <col:15, col:39>
| | `-TextComment 0x3bc0530 <col:15, col:39> Text=" Newly created connection"
| `-ParagraphComment 0x3bc05b0 <line:105:7, col:72>
| `-TextComment 0x3bc0580 <col:7, col:72> Text=" Throws a std::system_error exception on error. Never call from C."
AST node related to constructor is of type CXXConstructorDecl, AST node related to the destructor is of type CXXDestructorDecl, and the accept method is of type CXXMethodDecl. CXXConstructorDecl and CXXDestructorDecl are both childern of class CXXMethodDecl. Hence, by finding all method declarations, i.e. CXXMethodDecl, in AST we meet all the requirments to generate the C interface.
AST matchers are used to find and match AST nodes and perform a specific task based on the matched node. To understand the idea further, let’s use clang-querywhich can be used to test AST matchers. For instance to query the uThreads AST, issue the following command:
clang-query include/uThreads.h -- -I./src -std=c++11
It enters clang-query console and you can issue help to see the available commands. Let’s use the match command to find all the CXXMethodDecl in the AST:
clang-query> match cxxMethodDecl()
As before, since many files are included in the source code, the output is going to be large and includes all the methods, constructors and destructors from uThreads and all other classes included. Here is part of the output for class Connection:
Match #6987:
./src/io/Network.h:61:5: note: "root" binds here
Connection() :
^~~~~~~~~~~~~~
Match #6988:
./src/io/Network.h:72:5: note: "root" binds here
Connection(int fd) :
^~~~~~~~~~~~~~~~~~~~
Match #6989:
./src/io/Network.h:87:5: note: "root" binds here
Connection(int domain, int type, int protocol) throw(std::system_error);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Match #6990:
./src/io/Network.h:89:5: note: "root" binds here
~Connection();
^~~~~~~~~~~~~
Match #6991:
./src/io/Network.h:99:5: note: "root" binds here
int accept(Connection *conn, struct sockaddr *addr, socklen_t *addrlen);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
However, for the C interface we are only interested in public methods. So let’s change the query to reflect that:
clang-query> match cxxMethodDecl(isPublic())
This time only the public methods are printed to the output. Also, since we are only interested in classes defined in uThreads library, I am going to use specific class names to limit the output. For example, to see all the public methods from class Connection issue the following commands:
clang-query> set output dump
clang-query> match cxxMethodDecl(isPublic(), ofClass(hasName("Connection")))
This time I changed the output to show AST dump instead of diagnostics, which results in the following:
Binding for "root":
CXXConstructorDecl 0x3712520 <./src/io/Network.h:61:5, line:64:5> line:61:5 Connection 'void (void)'
|-CXXCtorInitializer Field 0x3712178 'pd' 'class PollData *'
| `-CXXDefaultInitExpr 0x37162d8 <col:5> 'class PollData *'
|-CXXCtorInitializer Field 0x37121d0 'fd' 'int'
| `-UnaryOperator 0x3716260 <line:62:16, col:17> 'int' prefix '-'
| `-IntegerLiteral 0x3716240 <col:17> 'int' 1
|-CompoundStmt 0x37163a8 <col:19, line:64:5>
| `-CXXMemberCallExpr 0x3716380 <line:63:9, col:14> 'void'
| `-MemberExpr 0x3716348 <col:9> '' ->init 0x3712298
| `-CXXThisExpr 0x3716330 <col:9> 'class Connection *' this
`-FullComment 0x3940930 <line:56:7, line:59:47>
|-ParagraphComment 0x3940800 <line:56:7>
| `-TextComment 0x39407d0 <col:7> Text=" "
|-BlockCommandComment 0x3940820 <col:8, col:52> Name="brief"
| `-ParagraphComment 0x3940880 <col:14, col:52>
| `-TextComment 0x3940850 <col:14, col:52> Text=" Create a Connection that does not have"
`-ParagraphComment 0x39408f0 <line:58:7, line:59:47>
|-TextComment 0x39408a0 <line:58:7, col:65> Text=" This is useful for accept or socket functions that require"
`-TextComment 0x39408c0 <line:59:7, col:47> Text=" a Connection object without fd being set"
Match #2:
Binding for "root":
CXXConstructorDecl 0x37126a0 <./src/io/Network.h:72:5, line:75:5> line:72:5 Connection 'void (int)'
|-ParmVarDecl 0x3712618 <col:16, col:20> col:20 used fd 'int'
|-CXXCtorInitializer Field 0x3712178 'pd' 'class PollData *'
| `-CXXDefaultInitExpr 0x3716460 <col:5> 'class PollData *'
|-CXXCtorInitializer Field 0x37121d0 'fd' 'int'
| `-ImplicitCastExpr 0x3716420 <line:73:16> 'int'
| `-DeclRefExpr 0x37163c8 <col:16> 'int' lvalue ParmVar 0x3712618 'fd' 'int'
|-CompoundStmt 0x3716530 <col:20, line:75:5>
| `-CXXMemberCallExpr 0x3716508 <line:74:9, col:14> 'void'
| `-MemberExpr 0x37164d0 <col:9> '' ->init 0x3712298
| `-CXXThisExpr 0x37164b8 <col:9> 'class Connection *' this
`-FullComment 0x3940ba0 <line:66:7, line:70:45>
|-ParagraphComment 0x39409d0 <line:66:7>
| `-TextComment 0x39409a0 <col:7> Text=" "
|-BlockCommandComment 0x39409f0 <col:8, line:67:7> Name="brief"
| `-ParagraphComment 0x3940a70 <line:66:14, line:67:7>
| |-TextComment 0x3940a20 <line:66:14, col:61> Text=" Create a connection object with the provided fd"
| `-TextComment 0x3940a40 <line:67:7> Text=" "
|-ParamCommandComment 0x3940a90 <col:8, col:16> [in] implicitly Param="fd" ParamIndex=0
| `-ParagraphComment 0x3940af0 <>
`-ParagraphComment 0x3940b60 <line:69:7, line:70:45>
|-TextComment 0x3940b10 <line:69:7, col:71> Text=" If the connection is already established by other means, set the"
`-TextComment 0x3940b30 <line:70:7, col:45> Text=" fd and add it to the polling structure"
Match #3:
Binding for "root":
CXXConstructorDecl 0x37129b0 <./src/io/Network.h:87:5, col:75> col:5 Connection 'void (int, int, int) throw(std::system_error)'
|-ParmVarDecl 0x3712798 <col:16, col:20> col:20 domain 'int'
|-ParmVarDecl 0x3712808 <col:28, col:32> col:32 type 'int'
|-ParmVarDecl 0x3712878 <col:38, col:42> col:42 protocol 'int'
`-FullComment 0x3940ec0 <line:78:7, line:86:5>
|-ParagraphComment 0x3940c40 <line:78:7>
| `-TextComment 0x3940c10 <col:7> Text=" "
|-BlockCommandComment 0x3940c60 <col:8, line:79:7> Name="brief"
| `-ParagraphComment 0x3940ce0 <line:78:14, line:79:7>
| |-TextComment 0x3940c90 <line:78:14, col:65> Text=" Same as socket syscall adds | SOCK_NONBLOCK to type"
| `-TextComment 0x3940cb0 <line:79:7> Text=" "
|-BlockCommandComment 0x3940d00 <col:8, col:37> Name="return"
| `-ParagraphComment 0x3940d60 <col:15, col:37>
| `-TextComment 0x3940d30 <col:15, col:37> Text=" same as socket syscall"
|-ParagraphComment 0x3940e20 <line:81:7, line:84:29>
| |-TextComment 0x3940d80 <line:81:7, col:69> Text=" Throws a std::system_error exception. Do not call from C code."
| |-TextComment 0x3940da0 <line:82:7, col:68> Text=" The unerlying socket is always nonbelocking. This is achieved"
| |-TextComment 0x3940dc0 <line:83:7, col:60> Text=" by adding a (| SOCK_NONBLOCK) to type, thus requires"
| `-TextComment 0x3940de0 <line:84:7, col:29> Text=" linux kernels > 2.6.27"
`-ParagraphComment 0x3940e70 <line:86:1, col:5>
`-TextComment 0x3940e40 <col:1, col:5> Text=" "
Match #4:
Binding for "root":
CXXDestructorDecl 0x3712ad0 <./src/io/Network.h:89:5, col:17> col:5 ~Connection 'void (void)' noexcept-unevaluated 0x3712ad0
We can use the final version of the matcher to find the public methods of interest and generate C source code based on that. We start by creating an option category which is applied to all command-line options. Also you can define new options for the command line tool using option tables, so arguments can be passed to your program. I am not going to use that feature in the current implementation, but included “-o” option just to show how it’s done:
/** Options **/
static cl::OptionCategory CPP2CCategory("CPP2C options");
static std::unique_ptr Options(createDriverOptTable());
static cl::opt OutputFilename("o", cl::desc(Options->getOptionHelpText((options::OPT_o))));
I also create a struct with custom string streams which is used to generate the final C .h and .c files, a vector of the name of the classes from uThreads to be explored and a map of function names to an integer, which is used to keep track of functions and detect overleaded functions.
/** Classes to be mapped to C **/
struct OutputStreams{
string headerString;
string bodyString;
llvm::raw_string_ostream HeaderOS;
llvm::raw_string_ostream BodyOS;
OutputStreams() : headerString(""), bodyString(""), HeaderOS(headerString), BodyOS(bodyString){};
};
vector<string> ClassList = {"uThread", "kThread", "Cluster", "Connection", "Mutex", "OwnerLock", "ConditionVariable", "Semaphore", "uThreadPool"};
map<string, int> funcList;
Next, we write the main function:
int main(int argc, const char **argv) {
// parse the command-line args passed to your code
CommonOptionsParser op(argc, argv, CPP2CCategory);
// create a new Clang Tool instance (a LibTooling environment)
ClangTool Tool(op.getCompilations(), op.getSourcePathList());
// run the Clang Tool, creating a new FrontendAction
return Tool.run(newFrontendActionFactory().get());
}
Whithin the main function, we pass the OptionCategory to the CommonOptionsParser along with argc and argv to parse the arguments passed to the code. Next, We create a ClangTool instance and pass the Compilation and source path lists to it. Finally, the ClangTool needs a new FrontendAction for each translation unit we run on. Thus, it takes a FrontendActionFactory as parameter. To create a FrontendActionFactory from a given FrontendAction type, we call newFrontendActionFactory(). MyFrontendAction is a ASTFrontendAction which is used for AST consumer-based frontend actions, and since we are going to rely on AST matchers we use the ASTFrontendAction.
// For each source file provided to the tool, a new FrontendAction is created.
class MyFrontendAction: public ASTFrontendAction {
public:
MyFrontendAction() {
OS.HeaderOS << "#ifndef UTHREADS_CWRAPPER_H\n"
"#define UTHREADS_CWRAPPER_H_\n"
"#include \n"
"#include \n"
"#include \n"
"#include \n\n"
"#ifdef __cplusplus\n"
"extern \"C\"{\n"
"#endif\n"
"#include \n";
OS.BodyOS << "#include \"generic/basics.h\"\n"
"#include \"cwrapper.h\"\n"
"#include \"runtime/uThread.h\"\n"
"#include \"runtime/uThreadPool.h\"\n"
"#include \"runtime/kThread.h\"\n"
"#include \"io/Network.h\"\n"
"#ifdef __cplusplus\n"
"extern \"C\"{\n"
"#endif\n";
}
void EndSourceFileAction() override {
StringRef headerFile("cwrapper.h");
StringRef bodyFile("cwrapper.cpp");
// Open the output file
std::error_code EC;
llvm::raw_fd_ostream HOS(headerFile, EC, llvm::sys::fs::F_None);
if (EC) {
llvm::errs() << "while opening '" << headerFile<< "': " << EC.message() << '\n';
exit(1);
}
llvm::raw_fd_ostream BOS(bodyFile, EC, llvm::sys::fs::F_None);
if (EC) {
llvm::errs() << "while opening '" << bodyFile<< "': " << EC.message() << '\n';
exit(1);
}
OS.HeaderOS << "#ifdef __cplusplus\n"
"}\n"
"#endif\n"
"#endif /* UTHREADS_CWRAPPER_H_ */\n";
OS.BodyOS<< "#ifdef __cplusplus\n"
"}\n"
"#endif\n";
OS.HeaderOS.flush();
OS.BodyOS.flush();
HOS<< OS.headerString << "\n";
BOS<< OS.bodyString << "\n";
}
std::unique_ptr CreateASTConsumer(CompilerInstance &CI, StringRef file) override {
return llvm::make_unique(OS);
}
private:
OutputStreams OS;
};
MyFrontendAction includes an instance of OutputStreams that has two string streams, one for the header file and the other one for the .cpp file. Both streams are intialized with the required include statements and #ifdef statements to be placed at the beginning of the file. The EndSourceFileAction is a callback at the end of processing a single input, and is used to append required strings to the end of the streams and save the streams to cwrapper.h and cwrapper.cpp files. Finally, CreateASTConsumer is called to create the AST consumer object for this action. Here an instance of MyASTConsumer is created and returned, we also pass the OutputStreams instance by reference, so later it can be passed to handlers. AST consumer, in our case, is responsible for registering matchers and run them over the AST. Here, the list of classes is used along with the cxxMethodDeclmatcher we came up with earlier to match the methods of interest.
// Implementation of the ASTConsumer interface for reading an AST produced
// by the Clang parser. It registers a couple of matchers and runs them on
// the AST.
class MyASTConsumer: public ASTConsumer {
public:
MyASTConsumer(OutputStreams& os) : OS(os),
HandlerForClassMatcher(os){
// Add a simple matcher for finding 'if' statements.
for(string& className : ClassList){
OS.HeaderOS << "struct W"<< className << "; \n"
"typedef struct W"<< className << " W"<< className << ";\n";
//oss.push_back(std::move(os))
DeclarationMatcher classMatcher = cxxMethodDecl(isPublic(), ofClass(hasName(className))).bind("publicMethodDecl");
Matcher.addMatcher(classMatcher, &HandlerForClassMatcher);
}
}
void HandleTranslationUnit(ASTContext &Context) override {
// Run the matchers when we have the whole TU parsed.
Matcher.matchAST(Context);
}
private:
OutputStreams& OS;
classMatchHandler HandlerForClassMatcher;
MatchFinder Matcher;
};
MyASTConsumer has an instance of a classMatchHandler and a MatchFinder. MatchFinder is used to register matchers and handlers and to apply the matchers to AST Context and call the related handlers when a match is found. In the constructor, we add all the matchers using addMatcher, and under the HandleTranslationUnit we call matchAST to perform the matches and do the callbacks. We also bind the match to a string (publicMethodDecl), which is used later to differentiate among matchers. Also, notice that for each class a struct is generated with name WclassName along with a typedef with the same name. As explained eariler, this struct is used to hold a pointer to the instance of the class in C.
Class classMatchHandler is a child of MatchFinder::MatchCallBack class, and is used to perform the required task after a match is found. We also override member function run, that accepts a MatchResult and is called upon finding a match. The first step is to check whether the matched node with the provided string publicMethodDecl is of type cxxMethodDecl.
if (const CXXMethodDecl *cmd = Result.Nodes.getNodeAs("publicMethodDecl")){
string methodName = "";
string className = cmd->getParent()->getDeclName().getAsString();
string returnType = "";
string returnCast = "";
bool shouldReturn, isPointer;
string self = "W" + className + "* self";
string separator = ", ";
string bodyEnd = "";
std::stringstream functionBody;
If so, we create a few of strings variables in order to generate the final C method. className captures the name of the parent class of the method, i.e. the name used to find the method in the matcher, by getting the declaration name of the parent class as string. To map member functions to C, there is a need to send the pointer to the object as the first argument, so the string self contains the string that represents the pointer to the struct in C that is named as self. The rest of the variables are explained later.
As explained eariler, operator overloading is ignored and not mapped to C, thus:
//ignore operator overloadings
if(cmd->isOverloadedOperator())
return;
Next, we check whether the matched method is a constructor:
//constructor
if (const CXXConstructorDecl* ccd = dyn_cast(cmd)) {
if(ccd->isCopyConstructor() || ccd->isMoveConstructor()) return;
methodName = "_create";
returnType = "W" + className + "*";
self = "";
separator = "";
functionBody << "return reinterpret_cast<"<< returnType << ">( new " << className << "(";
bodyEnd += "))";
If cmd can be dynamically casted to CXXConstructorDecl, it means the method is a constructor. If the constructor is a copy constructor or move constructor we are not going to map it to C as explained above. The final method name should be className_create, so we set the methodName to be _create and later concatenate it to the calss name. Also, since the constructor creates an instance of the object and return a pointer to the created object, the return type should be the same as the struct type that holds the pointer to the object in C. self string will be empty, since there is no instance of the object yet to be passed to the constructor. separator is used to separate function arguments in the string, and since there is no self, the next argument do not need a comma before it. functionBody is a string stream that holds the information related to the function definition. For the constructor, we know that it returns the casted pointer to the object created by new, so the related string is generated accordingly. bodyEndholds the string to complete the function definition, and since there are two open parentheses, they should be closed after arguments are placed in between the parentheses.
Next, we check wether the method is a destructor:
}else if (isa(cmd)) {
methodName = "_destroy";
returnType = "void";
functionBody << " delete reinterpret_cast<"<"*>(self)";
If the method declaration isa, it means the method is a destructor. Thus, the methodName should be _destroy, returnType should be void, and functionBody just calls delete on the casted pointer.
If the method is not a constructor, destructor, or overloaded operator, it is a member or static function:
}else{
methodName = "_" + cmd->getNameAsString();
const QualType qt = cmd->getReturnType();
std::tie(returnType, returnCast, isPointer, shouldReturn) = determineCType(qt);
//should this function return?
if(shouldReturn)
functionBody << "return ";
if(returnCast != ""){
//if not pointer and it needs to be casted, then return the pointer
if(!isPointer)
functionBody << "&";
functionBody << "reinterpret_cast<"<< returnType << ">(";
bodyEnd += ")";
}
//if Static call it properly
if(cmd->isStatic())
functionBody <"::" << cmd->getNameAsString() << "(";
//if not use the passed object to call the method
else
functionBody << "reinterpret_cast<"<"*>(self)->" << cmd->getNameAsString() << "(";
bodyEnd += ")";
}
The methodName in this case is the same as the name of the method with prefix _. Next step is to determine what is the return type of the method, for that purpose we use getReturnType to find the QualType. Then, we pass the QualType to the helper function determineCType, in order to find the type, whether it needs casting, whether it’s a pointer and whether it’s a void type. Here is the definition of the determineCType function:
tuplebool, bool> determineCType(const QualType& qt){
string CType = "";
string CastType = ""; //whether this should be casted or not
bool isPointer = false;
bool shoulReturn = true;
//if it is builtin type use it as is
if(qt->isBuiltinType() || (qt->isPointerType() && qt->getPointeeType()->isBuiltinType())){
CType = qt.getAsString();
if(qt->isVoidType())
shoulReturn = false;
//if it is a CXXrecordDecl then return a pointer to WName*
}else if(qt->isRecordType()){
const CXXRecordDecl* crd = qt->getAsCXXRecordDecl();
string recordName = crd->getNameAsString();
CType = "W" + recordName + "*";
CastType = recordName+ "*";
}else if( (qt->isReferenceType() || qt->isPointerType()) && qt->getPointeeType()->isRecordType()){
isPointer = true; //to properly differentiate among cast types
const CXXRecordDecl* crd = qt->getPointeeType()->getAsCXXRecordDecl();
string recordName = crd->getNameAsString();
if ( std::find(ClassList.begin(), ClassList.end(), recordName) != ClassList.end() ){
CType = "W" + recordName + "*";
CastType = recordName + "*";
}else{
CType = recordName+"*";
}
}
return make_tuple(CType, CastType, isPointer, shoulReturn);
}
This function returns 4 variables; one that reperesents the type that should be returned, one that shows what the return type should be casted from, and two booleans reperesenting whether the type is a pointer and whether the function needs a return statement before the function call. First, if the type is a builtin type, or is a pointer to a builtin type, there is no need to cast it (castType is left empty), and if this builtin type is void there is no need to put the returnkeyword before calling the function. Otherwise, if the type is a record type (class or struct), since in uThreads all functions only return record types that is defined whitin uThreads library, we can be sure that by casting the return type to WclassName struct, we are returning the instance of the object (it can be problematic if the returned object needs to be copied, since the original memory might be freed at the end of the function and the returned pointer is not valid anymore. But since in uThreads all objects are returned either by reference or only pointers are being returned, this condition does not apply to uThreads. Thus, it should be modified if you need to use it in another projects. This part is mainly relevant for function arguments, when later determineCType is called to determine the type of the passed arguments). Finally, if the return type is a pointer or reference to a record type, and the pointer is to a class under the uThreads list of classes, return the WclassName*, otherwise return the pointer itself.
Continuing on determining the return type, if the shouldRetran flag is true, a return keyword is added before the function call. If the return variable requires casting, insert reinterpret_cast along with the C return type before calling the function. Finally, generate the function call: if the function is static, call it by using className::methodName, and if not use reinterpret_cast to cast the passed self pointer to the object pointer and call the function by self->methodName.
Next, let’s generate the function declaration in C by concatenating the related strings together:
std::stringstream funcname;
funcname << returnType << " " << className << methodName;
auto it = funcList.find(funcname.str());
if(it != funcList.end()){
it->second++;
funcname << "_" << it->second ;
}else{
funcList[funcname.str()] = 0;
}
funcname << "(" << self;
Function name is of form returnType className_methodName in C. In addition, as explained earlier, if there is any function overloading, a number is added to the end of the function name. Thus, a map of function names to integer is used to keep track of the number of times the function of the specified class appeared. If it appears more than one time, a suffix _n is added to the end of the function, where n is the number of times the function appeared. Finally, we add a parentheses to the end of the function name, along with the self string, that reperesnts whether a pointer to the object is passed to the function or not, and start generating the argument list:
for(unsigned int i=0; igetNumParams(); i++)
{
const QualType qt = cmd->parameters()[i]->getType();
std::tie(returnType, returnCast, isPointer, shouldReturn) = determineCType(qt);
funcname << separator << returnType << " ";
funcname << cmd->parameters()[i]->getQualifiedNameAsString() << "";
if(i !=0 )
functionBody << separator;
if(returnCast == "")
functionBody << cmd->parameters()[i]->getQualifiedNameAsString();
else{
if(!isPointer)
functionBody << "*";
functionBody << "reinterpret_cast<" << returnCast << ">("<< cmd->parameters()[i]->getQualifiedNameAsString() << ")";
}
string separator = ", ";
}
To generate the argument list in C, we iterate through the method arguments by using getNumParams and parameters array. The type of the argument in C is determined by calling to determineCType, and based on the tpe of the argument it might require casting. After generating the list of the arguments, we simply close the parentheses and print the generated function name and body in header and body string streams:
funcname << ")";
OS.HeaderOS << funcname.str() << ";\n";
OS.BodyOS << funcname.str() << "{\n ";
OS.BodyOS << functionBody.str();
OS.BodyOS << bodyEnd << "; \n}\n" ;
As explained earlier, BodyOS and HeaderOS streams are flushed to related files in the end. To build and install the binary simply clone the repo and issue the following commands (you require cmake and make to be installed):
git clone https://github.com/samanbarghi/CPP2C
cd CPP2C
mkdir build
cmake ..
make
sudo make install
The binary is installed under /usr/local/bin and you can use it under the uThreads directory as follows:
git clone https://github.com/samanbarghi/uThreads
cd uThreads
cpp2c include/uThreads.h -- -I./src -std=c++11
cpp2c creates two files cwrapper.h and cwrapper.cpp that holds the generated C interface. You can find the generated file here.
Another issue with current approach is in cases where there is no public constructor (e.g., uThread class does not have a public constructor and uThread instances are created using uThreads::create function) the content of the constructor is going to be wrong and need to be updated. A possible fix that can further improve the current approach is to annotate the C++ source code with the intended C interface, and in cases the annotation is used simply use the annotation instead of generating the function.
Although the C interface generator still has some shortcomings when it comes to return types, dealing with template functions and out of uThreads classes, this practice shows the potential of using such approach to automate the generation of C interfaces from C++ source code, specially for large projects.
