E>в исходном переменная имеет одно определение...

template<typename T>
int counter<T>::cnt = __COUNTER__;

GN>А зачем они тогда приводились как пример?

// 0.h
template<typename T> T foo( T t ) { return t; }
typedef int int2int( int );
extern int2int* getFooPtr();

//1.cpp
#include "0.h"
extern int2int* getFooPtr()
{
    return foo<int>;
}

//2.cpp
#include "0.h"
void bar()
{
    assert( getFooPtr() == &foo<int> );
}

template<> int xxx<int>::counter = 10;

template<> int xxx<int>::counter = 20;

template<typename T> T foo( T t ) { return t; }

GN>Ну ок, пусть нет разницы между указателями на объекты и функции. Тогда мой пример показывает что гарантии нарушаются

E>Что мешает сравнить определения статического члена?

E>Кроме того, обычно лишнюю копию выбрасывает линкер, а не компилятор...

GN>>А зачем они тогда приводились как пример?

E>Изучи как так получается, что inline-функции не противоречат ODR...

3.2/3 Every program shall contain exactly one definition of every non-inline function or object that is used in that program; no diagnostic required. The definition can appear explicitly in the program, it can be found in the standard or a user-defined library, or (when appropriate) it is implicitly defined (see 12.1, 12.4 and 12.8). An inline function shall be defined in every translation unit in which it is used.

template<> int xxx<int>::counter = 10;

template<> int xxx<int>::counter = 20;

E>Нет. Не const тоже. Вообще-то если статическое поле имеет нетривиальные конструктор или деструктор, то пофиг const оно или не сonst...

А>template<typename T>
А>class counter{
А>    static T cnt;
А>public:
А>    counter(){
А>        cnt++;
А>    }

А>    ~counter(){
А>        cnt--;
А>    }
А>};

А>template<typename T>
А>int counter<T>::cnt = 0;

А>В функции main:
А>counter<int> i;
А>counter<int> j;

А>counter<float> f; //Понятно, ошибка C2371: 'cnt' : redefinition; different basic types
А>

template<typename T> class counter
{
    static T cnt;
public:
    counter() { cnt++; }
    ~counter() { cnt--; }
};

template<typename T> T counter<T>::cnt = T();

GN>Да, есть. Не могу найти, где это разрешено в Стандарте.

template<> int counter<int>::cnt;

НИ>template<> int counter<int>::cnt;
НИ>

// 1.cpp
template<> int counter<int>::cnt = 1;

// 2.cpp
template<> int counter<int>::cnt = -1;