48

If I want to use std::any I can use it with RTTI switched off. The following example compiles and runs as expected also with -fno-rtti with gcc.

int main()
{   
    std::any x;
    x=9.9;
    std::cout << std::any_cast<double>(x) << std::endl;
}

But how std::any stores the type information? As I see, if I call std::any_cast with the "wrong" type I got std::bad_any_cast exception as expected.

How is that realized or is this maybe only a gcc feature?

I found that boost::any did also not need RTTI, but I found also not how that is solved. Does boost::any need RTTI?.

Digging into the STL header itself gives me no answer. That code is nearly unreadable to me.

4
  • 2
    Boost has its own typeinfo that replaces RTTI, that's why boost::any does not need it. Generaly I do not see other possibility than implementing one's own typeinfo that does not depend on RTTI
    – bartop
    Commented Jul 16, 2018 at 12:34
  • any has method type() that returns a type_info, does it really run without rtti?
    – bipll
    Commented Jul 16, 2018 at 13:00
  • 1
    @bipll: No, exactly that function is switched of if RTTI is off. So under the hood, there is something which can generate typeid like information. But it seems to be the dark side of the implementation ;)
    – Klaus
    Commented Jul 16, 2018 at 13:04
  • 1
    boost type_info source here: github.com/boostorg/core/blob/develop/include/boost/core/… enjoy :) Commented Jul 16, 2018 at 13:11

3 Answers 3

62

TL;DR; std::any holds a pointer to a static member function of a templated class. This function can perform many operations and is specific to a given type since the actual instance of the function depends on the template arguments of the class.


The implementation of std::any in libstdc++ is not that complex, you can have a look at it:

https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/std/any

Basically, std::any holds two things:

  • A pointer to a (dynamically) allocated storage;
  • A pointer to a "storage manager function":
void (*_M_manager)(_Op, const any*, _Arg*);

When you construct or assign a new std::any with an object of type T, _M_manager points to a function specific to the type T (which is actually a static member function of class specific to T):

template <typename _ValueType, 
          typename _Tp = _Decay<_ValueType>,
          typename _Mgr = _Manager<_Tp>, // <-- Class specific to T.
          __any_constructible_t<_Tp, _ValueType&&> = true,
          enable_if_t<!__is_in_place_type<_Tp>::value, bool> = true>
any(_ValueType&& __value)
  : _M_manager(&_Mgr::_S_manage) { /* ... */ }

Since this function is specific to a given type, you don't need RTTI to perform the operations required by std::any.

Furthermore, it is easy to check that you are casting to the right type within std::any_cast. Here is the core of the gcc implementation of std::any_cast:

template<typename _Tp>
void* __any_caster(const any* __any) {
    if constexpr (is_copy_constructible_v<decay_t<_Tp>>) {
        if (__any->_M_manager == &any::_Manager<decay_t<_Tp>>::_S_manage) {
            any::_Arg __arg;
            __any->_M_manager(any::_Op_access, __any, &__arg);
            return __arg._M_obj;
        }
    }
    return nullptr;
}

You can see that it is simply an equality check between the stored function inside the object you are trying to cast (_any->_M_manager) and the manager function of the type you want to cast to (&any::_Manager<decay_t<_Tp>>::_S_manage).


The class _Manager<_Tp> is actually an alias to either _Manager_internal<_Tp> or _Manager_external<_Tp> depending on _Tp. This class is also used for allocation / construction of object for the std::any class.

15
  • 11
    In a short: They store a pointer to a static instance of a templated function which is unique as the instance of that template depends on the given type. I am right?
    – Klaus
    Commented Jul 16, 2018 at 13:12
  • 2
    @Klaus In short, yes ;)
    – Holt
    Commented Jul 16, 2018 at 13:13
  • 4
    Note that this construct (a pointer to static function template instance being unique for each template type) breaks with some compiler optimizations, such as MSVC's /Gy combined with its linker's /OPT:ICF, see the note on this page).
    – rubenvb
    Commented Jul 16, 2018 at 14:05
  • 4
    Note that this depends on the linker and loader coalescing multiple instantiations of the function and so doesn't work on MinGW across DLL boundaries (stackoverflow.com/questions/45290296/…)
    – T.C.
    Commented Jul 16, 2018 at 18:28
  • 1
    While this is a useful answer, you did not address the issue of how types are compared for equality upon any_cast, so that bad_any_cast can be thrown if necessary. Both points were explicitly mentioned by the OP. (The easiest approach it seems would be to equality-compare the stored function pointer to the one expected from the instantiation of any_cast.)
    – Arne Vogel
    Commented Jul 25, 2018 at 11:28
7

Manual implementation of a limited RTTI is not that hard. You're gonna need static generic functions. That much I can say without providing a complete implementation. here is one possibility:

class meta{
    static auto id(){
        static std::atomic<std::size_t> nextid{};
        return ++nextid;//globally unique
    };
    std::size_t mid=0;//per instance type id
public:
    template<typename T>
    meta(T&&){
        static const std::size_t tid{id()};//classwide unique
        mid=tid;
    };
    meta(meta const&)=default;
    meta(meta&&)=default;
    meta():mid{}{};
    template<typename T>
    auto is_a(T&& obj){return mid==meta{obj}.mid;};
};

This is my first observation; far from ideal, missing many details. One may use one instance of meta as a none-static data member of his supposed implementation of std::any.

5
  • 2
    The question was: "How is that realized or is this maybe only a gcc feature?" That it can be done is not an answer and that it can be done is quite clear as the provided code compiles and work!
    – Klaus
    Commented Jul 16, 2018 at 13:06
  • I did mention how: static generic functions. but details kill. lots of metadata can be embeded, and a wide range of implementations are possible. really hard to pick one of many possibilities for the answer. can The OP withstand that much?
    – Red.Wave
    Commented Jul 16, 2018 at 13:20
  • 2
    Curious why this has -5 when another answer saying the same thing in seemingly more vague and less thread-safe terms has +3...? Commented Jul 16, 2018 at 18:52
  • 4
    @underscore_d thanks for your attention. originally missed the snippet, for I was reluctant to add. It was -3 then and should've stopped there. but that is the social avalanche effect, people just follow each other. I have already pointed out the better answer in a comment: the accepted one. and don't really care about votes. plz read holt's.
    – Red.Wave
    Commented Jul 16, 2018 at 19:02
  • 2
    I voted up. This is a good technical background. This answer has been recklessly down voted for not good reasons.
    – Xofo
    Commented Jul 28, 2018 at 21:42
4

One of possible solutions is generating unique id for every type possibly stored in any (I assume You know moreless how any internally works). The code that can do it may look something like this:

struct id_gen{
    static int &i(){
        static int i = 0;
        return i;
    }

    template<class T>
    struct gen{
        static int id() {
            static int id = i()++;
            return id;
        }
    };    
};

With this implemented You can use the id of the type instead of RTTI typeinfo to quickly check the type.

Notice the usage of static variables inside functions and static functions. This is done to avoid the problem of undefined order of static variable initialization.

4
  • you'd need to put the initialisation of ig_gen::i into its own compilation unit I think Commented Jul 16, 2018 at 13:03
  • @RichardHodges I am really unsure about it, maybe You are right. Anyway, as this proof of concept shows any without RTTI is possible. Feel free to edit my answer
    – bartop
    Commented Jul 16, 2018 at 13:04
  • 3
    See static initialization order fiasco.
    – T.C.
    Commented Jul 16, 2018 at 18:33
  • @T.C. This is not the exact static initialization order fiasco situation, but anyway You are right, the order of static initialization is undefined. I change the answer.
    – bartop
    Commented Jul 23, 2018 at 8:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.