Zgłaszanie funkcji lub metod constexpr

Question

Zastanawiam się, czy istnieją jakiekolwiek ograniczenia dotyczące tego, gdzie funkcje i metody constexpr muszą być zadeklarowane, tak jak istnieją funkcje i metody inline.

Wiem, że wbudowane funkcje lub metody muszą być zapisane w plikach nagłówkowych, aby dać kompilatorowi dostęp do ich definicji, gdzie są wywoływane. miałoby sens, jeśli było coś podobnego do constexpr, ale nie uda się znaleźć coś w tej kwestii ...

Więc w zasadzie moje pytania są następujące:

• mogę napisać definicje constexpr działa w pliku nagłówkowym bez ryzyka duplikowania symbolu?

• Czy mogę oddzielić deklarację od definicji funkcji lub metod constexpr?

Answer 1

Miejsce zdefiniowania funkcji constexpr wpływa na sposób jej wykorzystania. W szczególności:

C++ 14 [expr.const] P2

Warunkowe ekspresji e jest rdzeń stałej ekspresji ile oceny e, zgodnie z zasadami abstrakcyjnego urządzenia (1.9) , by ocenić jedno z następujących wyrażeń:

• ...
• inwokacji nieokreślonej constexpr funkcji lub nieokreślonej constexpr konstruktora;

Nie można więc używać constexpr funkcję w stałej ekspresji (szablon argument constexpr zmienną inicjator, zmienna globalna inicjująca, która musi być oceniana statycznie, array związany wyrażenie, może inni), jeśli to było tylko zadeklarowany, ale jeszcze nie zdefiniowany.

Podobnie, DYP komentuje

C++ 14 [dcl.constexpr] P2

... constexpr funkcje i constexpr konstruktorzy pośrednio inline (7.1.2).

To sugeruje odpowiedź na pierwsze pytanie: zdefiniowanie funkcji constexpr w nagłówku nie spowoduje powielenia symboli. Oznacza to również, że jeśli zadeklarujesz funkcję constexpr w nagłówku, a następnie wywołasz ją w jednostce tłumaczeniowej, nawet tylko w środowisku wykonawczym, "Funkcja inline zostanie zdefiniowana w każdej jednostce tłumaczeniowej, w której jest używana odr." z C++ 14 [basic.def.odr] p4.

Należy zauważyć, że przepisy dotyczące stałych wyrażeń i połączeń w ogóle są różne: rozmowy w ogóle wymagają definicji być gdzieś w jednostce tłumaczeniowej: stałe wyrażenia wymagają definicji być przed stałej ekspresji.