Bir initializer listesinin belirli bir boyutta olması statik_assert

Question

constexpr yapıcısına iletilen bir başlatıcı listesinin belirli bir boyutta olduğunu doğrulamak mümkün olabilir mi? Yoksa bu sadece çalışma zamanında yapmak mümkün olabilir mi?

Bu

fikir, ama çalışmıyor: Ben VS2015 en std::initializer_list uygulanması ve begin(), end() ve size() baktım

struct group 
{ 
     constexpr group(
      std::initializer_list<std::initializer_list<UINT const> const> groups 
     ) 
     { 
      static_assert(each_list_size_greater_than_1(groups.begin(), groups.end())); 
     } 

     constexpr static bool each_list_size_greater_than_1(
      std::initializer_list<std::initializer_list<UINT const> const>::const_iterator const begin 
      , std::initializer_list<std::initializer_list<UINT const> const>::const_iterator const end) 
     { 
      return begin == end || begin->size() > 1 && each_list_size_greater_than_1(begin + 1, end); 
     } 
}; 

tüm constexpr fonksiyonlardır. Bir std::initializer_list<T> ait size() bir constexpr bir constexpr işlev içinde bir constexpr gibi davranmaya olmaz size() üyesini değerlendirmek rağmen

Answer 1

: onlar başka bir yerde tanıtmak ama değil nerede sadece constexpr ifadesi içinde constexpr gibi davranmaya nesnelerin o kasıtlı olduğunu . Örneğin

: bir constexpr vermek üzere kabul edilir bir değer constexpr başlamadan önce oluşturulan veri bağlıdır (1) İlk durumda

constexpr get_size(std::initializer_list<int> list) { 
    constexpr std::size_t csize = list.size(); // ERROR (1) 
    std::size_t   size = list.size(); // OK 
    return size; 
} 

int main() { 
    constexpr std::size_t csize = get_size(std::initializer_list<int>{ 1, 2, 3 }); // OK (2) 
    // ... 
} 

. Sonuç olarak, constexpr değerini değerlendirmez. İkinci durumda (2), veri constexpr içinde tanımlanmıştır ve bu nedenle sonuç bir constexpr olabilir.

Bu tasarımın yol açan tartışmaların bir parçası olmamıştır ama buna constexpr argümanlar bir constexpr işlevin sonucu türünü değiştirmeyi önlemek için arzu edilir görünüyor: Değerler işlev tanımı içinde constexpr ler olsaydı, Dönüş değeri de constexpr s olur ve bu nedenle dönüş türünde şablon argümanları olarak kullanılabilirler. Bu, farklı tipler sağlayan constexpr işlevine farklı değerlere yol açacaktır. Şimdiye kadar, yalnızca bir fonksiyonun argüman türlerini değiştirerek ve/veya bir fonksiyonun argüman sayısını değiştirerek farklı bir getiri türü elde edebilirsiniz.