Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Defining constexpr static data members

So, I'm aware that in C++ static members can be initialized inside the class if they are a const literal type like the following

class test{
public:
        static constexpr int stc = 1;
private:
        int a = 0;
        int b = 0;
        int c = 0;
};

and the static constexpr variable stc can be used where the compiler can directly substitute the value of the member i.e

int main () {int array[test::stc];}  

However, if used in a context where the value cannot be directly substituted by the compiler:

int main() { const int &cs = test::stc; } 

then the compiler (clang) generates an error

c++ -std=c++11 -pedantic    t.cpp   -o t
Undefined symbols for architecture x86_64:
  "test::stc", referenced from:
      _main in t-a8ee2a.o
ld: symbol(s) not found for architecture x86_64

unless the static member is defined outside the class like so:

constexpr int test::stc;

Why is this the case?

like image 826
The Enigma Avatar asked Apr 30 '18 22:04

The Enigma


2 Answers

In

int main() { const int &cs = test::stc; } 

test::stc is odr-used while in

int main () {int array[test::stc];}  

it is not.

The following example from the C++11 Standard supports the above idea.

struct S { static const int x = 0; };
const int &f(const int &r);  
int n = b ? (1, S::x)    // S​::​x is not odr-used here
          : f(S::x);     // S​::​x is odr-used here, so a definition is required

Looking at it from practical point of view, cs will be an invalid reference unless test::stc has an address. array, on the other hand, needs just the value of test::stc, which can be evaluated at compile time. array does not need the address of test::stc to be a valid object.

An object that is odr-used must be defined exactly once in a program.

like image 137
R Sahu Avatar answered Oct 28 '22 22:10

R Sahu


static constexpr int stc = 1; // declares the static var

constexpr int test::stc; // defines the static var

for more detailed explanation check link below

http://www.learncpp.com/cpp-tutorial/811-static-member-variables/

like image 20
uzivanky Avatar answered Oct 28 '22 22:10

uzivanky