Как static_assert, что значение проанализировано как const & является правильным типом?

Question

MyClass::MyClass(std::list<int> const& some_sequence) 
    { 
    static_assert(
     std::is_same<decltype(some_sequence),std::list<int>>::value , 
     "some_sequence should be an integer list" 
     ); 
    } 

Как заставить статическую работу утверждать? Важно то, что тип является целым списком. Cheers.

Answer 1

Нет необходимости использовать static_assert(...): компилятор удостоверится, что эта функция вызывается с помощью std::list<int>. Если вы хотите, чтобы сделать выше компиляции кода, вам нужно использовать

MyClass::MyClass(std::list<int> const& some_sequence) 
{ 
    static_assert(
     std::is_same<decltype(some_sequence),std::list<int> const&>::value , 
     "some_sequence should be an integer list" 
    ); 
} 

some_sequence объявлен как std::list<int> const& и тип полученный decltype(some_sequence). Однако этот static_assert() никогда не сработает.