Türetilmiş bir sınıfın işlevinde Constexpr belirtecini kullanma

Question

Bu bir bilgisiz soru ise beni bağışlayın, ancak hala constexpr belirticiyi ne zaman ve nasıl kullanacağım konusunda kafamı kaydırıyorum. (msvc 14 ile derleme). Rasgele bir nesneyi bir "constexpr nesnesi" haline getirmenize izin veren basit bir temel sınıfta çalışıyorum. Bu şuna benzer:

template<typename T> 
class basic_const { 
public: 

    explicit constexpr basic_const(const T& value) : data_(value) { } 

    template <typename...Args> 
    constexpr basic_const(Args&&...args) : data_(T(std::forward<Args>(args)...)) { } 

    virtual ~basic_const() = default; 

    constexpr const T& data() const noexcept { return data_; } 

private: 
    T data_; 
}; 

Her şey beklendiği gibi, ben başarıyla (besbelli) constexpr olarak nitelemek herhangi türde bir nesne oluşturabilir çalışır.

İşte sorun:
Bu sınıftan miras almaya çalıştığınızda, ek constexpr üye işlevlerini uygulayamıyorum, ancak katılabilirler.

class str_const : public basic_const<const char*> 
{ 
public: 

    template <std::size_t N> 
    constexpr str_const(const char(&str)[N]) : 
     basic_const(str), sz_(N) {} 
    ... 
    constexpr std::size_t size() const noexcept{ return sz_; } // error here 
    ... 
public: 
    std::size_t sz_; 
}; 

i türetilmiş bir sınıfta constexpr üye işlevlerini oluşturabilir miyim: Aşağıdaki kod i uygulamak ediyorum bir constexpr dize sınıfa ait?

Answer 1

Sorun, your answer'da yazdığınız gibi görünmüyor. Sorun, bir sanal yıkıcının varlığından (yani, non-trivial destructor) dolayı, kapatma sınıfının bir literal type olmamasıdır. gcc (mayın vurgulamak) tükürür:

error: enclosing class of constexpr non-static member function 'std::size_t str_const::size() const' is not a literal type

Live example with the error

yıkıcıdan virtual eleme çıkarın ve işe yarayacak.

Live example working

üye değişkenler için ek const s için gerek yoktur.

DÜZENLEME

clang ancak compiles your code just fine ... merak bu bir hata ise. Şimdi bunun gerçekten bir clang böceği olduğunu, bir virtual destructor is non-trivial olarak fark ettiniz, bu yüzden clang kodunuzu olduğu gibi derlememelidir.

Answer 2

Mükemmel kabul edilebilir olanı ben de başarmak çalışıyorum görünüyor, türetilmiş sınıftaki üye değişkeni const için tabanı ve türetilmiş sınıfta hem de değişkenleri değiştirerek, const beyan edilmedi sorun giderildi.