Bolehkah Fungsi Consteval Menghalalkan Parameter Fungsi dalam Parameter Templat Bergantung pada Argumen Fungsi?

Fungsi Konsteval: Had pada Parameter Templat Bergantung pada Argumen Fungsi

Dalam C 17, mentakrifkan fungsi constexpr yang bergantung pada parameter templat bergantung pada fungsi hujah adalah dilarang. Walaupun fungsi consteval dalam C 20 berjanji untuk menguatkuasakan penilaian masa kompilasi, adakah ini bermakna kod tersebut kini boleh disahkan?

Soalan:

consteval int foo(int i) { return std::integral_constant::value; }. Adakah kod ini sah dalam C 20?

Jawapan:

Tidak.

Penjelasan:

Walaupun pengenalan fungsi konsteval, prinsip asas kekal bahawa definisi fungsi bukan templat mempunyai satu titik resolusi jenis. Menghalalkan kod yang dicadangkan akan mempunyai implikasi untuk Peraturan Satu Definisi (ODR). Selain itu, kertas C 20 secara eksplisit menyatakan bahawa parameter fungsi tidak akan dianggap sebagai ungkapan malar teras kerana kemungkinan jenis tidak padan.

Akibatnya, parameter fungsi tidak boleh digunakan secara langsung sebagai ungkapan malar dalam kebergantungan parameter templat, malah dalam konteks fungsi konsteval.

Atas ialah kandungan terperinci Bolehkah Fungsi Consteval Menghalalkan Parameter Fungsi dalam Parameter Templat Bergantung pada Argumen Fungsi?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!