statik constexpr işaretçi işleve, derleyici

Question

arasındaki fark this question cevap aşağıdaki gcc ile kodunu (code compiled) ve clang (code rejected) çalıştı Ben Test::f constexpr başlatılması tamam olduğunu düşünüyorum rağmen. Hata clang çıkışları ise:

error: non-type template argument for template parameter of pointer type 'func' 
     (aka 'long (*)(int)') must have its address taken 

1. hangi derleyici doğru?
2. Clang doğruysa, neden ve bu hata gerçekten ne anlama geliyor?

DÜZENLEME: "neden", DyP's question bakınız için.

:

Answer 1

14.3.2 şablonu olmayan tür bağımsız değişkenleri [temp.arg.nontype]

olmayan bir türü için bir şablon bağımsız değişken olmayan şablon, şablon parametreli biri olacaktır [...]

- sabit bir ifade (5.19) statik depolama> süresi ve dış veya iç bağlantı veya işlev şablonları ve fonksiyon şablon kapsayan dış ya da iç bağlantı sahip bir fonksiyonu olan bir nesnenin adresine koyduğunu -dekiler hariç & kimlik tanımlaması olarak ifade edilen (parantezleri göz ardı ederek) & kimlik ifadesi, & adı, bir işlev veya diziye başvuruyorsa ve karşılık gelen şablon parametresi bir başvuru olduğunda göz ardı edilmesi dışında, statik olmayan sınıf üyelerine belirtilmiş; [...]

(n3485, vurgu benim) Ben sınırlı tam olarak neden bilmiyorum ama fonksiyon adresi mevcut değildir aslında ilişkili olabileceğini düşünüyorum

derleme zamanı (şablon örnekleme amaçlarının yerini alabilir).

---

Düzenleme: nedeniyle Synxis

bir izlem soruya (yorum)

constexpr func = &function; 

^bu iyi biçimliyken için Geliştirilmiş cevabı; Bir constexpr nesnesini başlatmak için bir işlevin adresini kullanabilirsiniz. sorun açıkça forma &identifier ait dışındaki olmayan tip şablon argümanları olarak işaretçileri kullanmak yasak olmasıdır:

using My_Call  = Call < &function >; // fine 

constexpr func mypointer = &function; // fine 
using My_Ind_Call = Call <func>;  // forbidden, argument not of form `&id`