Initialization of constexpr member variable using constexpr member function [duplicate]

Question

I wanted to initialize a constexpr member variable using a constexpr member function but it didn't compile. It was OK when I moved the function out of the class. Why does it happen? Is there any way to use class member constexpr functions to initialize member constexpr variables?

I'm using Apple LLVM version 8.0.0 (clang-800.0.38).

Thanks for any help.

constexpr static int Add_Ext(int a, int b) { return a + b; }


class Foo
{
public:
    constexpr static int Add_InClass(int a, int b) { return a + b; }

    // This is OK.
    constexpr static int kConstantX = Add_Ext(1, 2);

    // This results in a compile error.
    constexpr static int kConstantY = Add_InClass(1, 2);

};

clang error message:

Constexpr variable 'kConstantY' must be initialized by a constant expression

Answer 1

From CWG-1255 and CWG-1626

The Standard should make clear that a constexpr member function cannot be used in a constant expression until its class is complete.

It seems like your code is intentionally unacceptable. However, the standard should make it more clear in that matter.

Is there any way to use class member constexpr functions to initialize member constexpr variables?

w.r.t. those DRs, No. You can move it to outside or to another class instead.