Boost/c++11 Switch