C++ features we can't handle right now. about rust-bindgen HOT 9 CLOSED

I propose closing this issue and maybe opening tracking issue listing all the other issues related to C++ features. What do you way?

from rust-bindgen.

Can bindgen handle SFINAE?

from rust-bindgen.

@fitzgen nope, for obvious reasons, sorry, forgot to mention it.

from rust-bindgen.

The template unions with template parameters thing should be doable once #61 lands.

from rust-bindgen.

I'm a bit surprised bindgen can't handle this:

$ cat test.h
template <typename T>
void foo(T a);
$ bindgen --version
bindgen 0.21.2
$ bindgen test.h -- -x c++
ERROR:bindgen::ir::item: Unhandled cursor kind CXCursorKind(30): Cursor(foo kind: FunctionTemplate, loc: test.h:2:6, usr: Some("c:@FT@>1#Tfoo#t0.0#v#"))
/* automatically generated by rust-bindgen */

Is this expected? It's not any fancy specialization, just a normal templated function.

from rust-bindgen.

@gsingh93

We can't invoke the C++ compiler to generate new instantiations of templates, so I don't think we even try to keep track of them currently.

Perhaps we could track explicit instantiations of template functions (14.7.2 in the standard) and make bindings to those.

For example, if given

template<class T> void foo(T t) { /∗ ... ∗/ }
template void foo(char);
template void foo(int);

We could generate something like:

extern "C" {
    #[link_name = "..."]
    pub fn foo_char(char);

    #[link_name = "..."]
    pub fn foo_int(int);
}

But either way, we can't create new template instantiations since we aren't a C++ compiler and aren't creatign new object files from C++ code, so without those explicit instantiations to help us know what already exists, I don't think we can do much else.

from rust-bindgen.

Filed #492 for tracking explicit instantiations of template functions and generating bindings for them.

from rust-bindgen.

Just hit this while trying to work on #492.

Here's the output, in case anyone finds it helpful: https://gist.github.com/anonymous/d20daf345e3b7512061c719e15684bb9.

Note that it includes the Unhandled cursor kind 30: Cursor(__test kind: FunctionTemplate bit tracked in #492, but also includes a bunch of Unhandled cursor kind 21: Cursor(__on_zero_shared kind: CXXMethod.

EDIT: also featured is Unhandled cursor kind 24: Cursor(shared_ptr<_Tp> kind: CXXConstructor.

from rust-bindgen.

superseded by #2343

from rust-bindgen.