相关疑难解决方法(0)

auto在(可能)用C++ 17引入的模板参数中有哪些优点？

它只是auto我想要实例化模板代码的自然扩展吗？

auto v1 = constant<5>;      // v1 == 5, decltype(v1) is int
auto v2 = constant<true>;   // v2 == true, decltype(v2) is bool
auto v3 = constant<'a'>;    // v3 == 'a', decltype(v3) is char

我还从这个语言功能中获得了什么？

我怎么static_assert样这个？如果没有C++或C++ 11中的新功能,Boost可能会支持它吗？

template<T>
struct foo {};

template<FooType>
struct bar {
  static_assert(FooType is indeed foo<T> for some T,"failure"); //how?
};