STATIC_CONST_MEMBER_EXPR_CONST.cpp

Go to the documentation of this file.

// checking for type-dependent constant expressions 
 
 
#include "config.h"
 
struct A { typedef int I; };
 
template <class T>
struct B
{
    typedef int           I;
    typedef typename T::I J;
 
    static const I i = 0;
    static const J j = 1;
};
 
template <class T>
const typename B<T>::I B<T>::i;
 
template <class T>
const typename B<T>::J B<T>::j;
 
template <class T>
int foo (T)
{
    enum { i = B<T>::i };
    enum { j = B<T>::j };
 
    return i + j;
}
 
int bar ()
{
    return foo (A ());
}