шаблон массива с указателем в качестве параметра

[prc]

Не пойму, в чем просчет. Может кто укажет на мою ошибку?

#include <iostream>
#include <cstdlib>
template <class T, int *pd>
class ArrayTP
{
private:
     T ar[*pd];
public:
    ArrayTP() {};
    explicit ArrayTP(const T & v);
    virtual T & operator[](int i);
    virtual T operator[](int i) const;
};
int x = 7;
template <class T, int *pd>
ArrayTP<T,pd>::ArrayTP(const T & v)
{
    for (int i = 0; i < *pd; i++)
        ar[i] = v;
}

template <class T, int *pd>
T & ArrayTP<T, pd>::operator[](int i)
{
    if (i < 0 || i >= *pd)
    {
        std::cerr << "Error in array limits: " << i
            << " is out of range\n";
        std::exit(EXIT_FAILURE);
    }
    return ar[i];
}

template <class T, int *pd>
T ArrayTP<T, pd>::operator[](int i) const
{
    if (i < 0 || i >= *pd)
    {
        std::cerr << "Error in array limits: " << i
            << " is out of range\n";
        std::exit(EXIT_FAILURE);
    }
    return ar[i]; 
}

int main()
{	
	ArrayTP<double, &x> obj(777.7);
	int i = 0;
	for( i = 0; i < 7; i++)
		std::cout << obj[i] << ' ' << std::endl;
	return 0;
}

Компилятор выдает:
arraytp.cpp(11): error C2057: требуется константное выражение

[Blade]

Размерность массива должна быть константой. Об этом и говорит компилятор

[prc]

Но адрес любого объекта в области видимости пространства имен , в отличие от адреса локального объекта , является константным выражением ( даже если спецификатор const отсутствует ), поэтому его можно применять в качестве аргумента для параметра, что у меня и сделано в строке: int x = 7, следовательно, я передаю в шаблон константное выражение (&x), равное 7.

[_Bers]

Сообщение от prc

я передаю в шаблон константное выражение (&x), равное 7.

Нет. Ты передаешь в шаблон адрес не_константной переменной.
&x - это адрес. И он не будет равен 7

А внутри шаблона:

private:
     T ar[*pd]; //извлекаешь значение не_константной переменной.

Количеством элементов массива не может быть значение не_константной переменной.

[prc]

Спасибо, _Bers

[Rififi]

prc

адрес любого объекта в области видимости пространства имен , в отличие от адреса локального объекта , является константным выражением ( даже если спецификатор const отсутствует ), поэтому его можно применять в качестве аргумента для параметра, что у меня и сделано

это все конечно замечательно, но в параметре шаблона требуется константа времени компиляции.