farklı nesneler kullanılırken şablon uzmanlığının çoklu tanımı

Farklı nesne dosyalarında özel bir şablon kullandığımda, bağlantı kurarken "çoklu tanımlama" hatası alıyorum. Bulduğum tek çözüm "satır içi" işlevini kullanmakla ilgili, ancak bu geçici bir çözüm gibi görünüyor. Bunu "satır içi" anahtar kelimesini kullanmadan nasıl çözebilirim? Bu mümkün değilse neden?

İşte örnek kod:

paulo@aeris:~/teste/cpp/redef$ cat hello.h 
#ifndef TEMPLATE_H
#define TEMPLATE_H

#include <iostream>

template <class T>
class Hello
{
public:
    void print_hello(T var);
};

template <class T>
void Hello<T>::print_hello(T var)
{
    std::cout << "Hello generic function " << var << "\n";
}

template <> //inline
void Hello<int>::print_hello(int var)
{
    std::cout << "Hello specialized function " << var << "\n";
}

#endif

paulo@aeris:~/teste/cpp/redef$ cat other.h 
#include <iostream>

void other_func();

paulo@aeris:~/teste/cpp/redef$ cat other.c 
#include "other.h"

#include "hello.h"

void other_func()
{
    Hello<char> hc;
    Hello<int> hi;

    hc.print_hello('a');
    hi.print_hello(1);
}

paulo@aeris:~/teste/cpp/redef$ cat main.c 
#include "hello.h"

#include "other.h"

int main()
{
    Hello<char> hc;
    Hello<int> hi;

    hc.print_hello('a');
    hi.print_hello(1);

    other_func();

    return 0;
}

paulo@aeris:~/teste/cpp/redef$ cat Makefile
all:
    g++ -c other.c -o other.o -Wall -Wextra
    g++ main.c other.o -o main -Wall -Wextra

En sonunda:

paulo@aeris:~/teste/cpp/redef$ make
g++ -c other.c -o other.o -Wall -Wextra
g++ main.c other.o -o main -Wall -Wextra
other.o: In function `Hello<int>::print_hello(int)':
other.c:(.text+0x0): multiple definition of `Hello<int>::print_hello(int)'
/tmp/cc0dZS9l.o:main.c:(.text+0x0): first defined here
collect2: ld returned 1 exit status
make: ** [all] Erro 1

Hello.h içindeki "satır içi" açıklamasını kaldırırsam, kod derlenecek ve çalışacak, ancak bu bana bir tür "geçici çözüm" gibi görünüyor: ya özel işlev büyükse ve birçok kez kullanılıyorsa? Büyük bir ikili alacak mıyım? Bunu yapmanın başka bir yolu var mı? Varsa nasıl? Değilse neden?

Cevapları aramaya çalıştım, ancak sahip olduğum tek şey daha fazla açıklama yapmadan "satır içi kullanım" oldu.

Teşekkürler

Sezgisel olarak, bir şeyi tamamen uzmanlaştırdığınızda, bu artık bir şablon parametresine bağlı değildir - bu nedenle uzmanlığı satır içi yapmazsanız, onu .h yerine bir .cpp dosyasına koymanız gerekir veya sonunda David'in söylediği gibi bir tanım kuralı. Şablonları kısmen uzmanlaştırdığınızda, kısmi uzmanlaşmaların bir veya daha fazla şablon parametresine bağlı olduğunu ve bu nedenle yine de bir .h dosyasında yer aldığını unutmayın.

Anahtar sözcük inline, derleyiciye, derleyicinin yapmaya ya da yapmamaya karar verebileceği gerçek satır içi işleminden çok, Bir Tanım Kuralı'nı ihlal etmeden sembolün birden fazla nesne dosyasında mevcut olacağını söylemekle ilgilidir.

Gördüğünüz sorun, satır içi olmadan işlevin, ODR'yi ihlal edecek şekilde başlığı içeren tüm çeviri birimlerinde derleneceğidir. inlineOraya eklemek , gitmenin doğru yoludur. Aksi takdirde, başka herhangi bir işlevde yaptığınız gibi uzmanlığı iletebilir ve tek bir çeviri biriminde sağlayabilirsiniz.

Başlığınızda ( void Hello<T>::print_hello(T var)) açıkça bir şablon oluşturdunuz . Bu, birden çok tanım oluşturacaktır. Bunu iki şekilde çözebilirsiniz:

1) Örneklemenizi satır içi yapın.

2) Örneklemeyi bir başlıkta bildirin ve sonra bunu bir cpp'de uygulayın.

İşte bazı olduğu parça bu sorunla ilgili 11 standardına ++ C:

Bir işlev şablonunun açık bir uzmanlığı, yalnızca satır içi belirtici ile bildirilirse veya silinmiş olarak tanımlanırsa ve işlev şablonunun satır içi olup olmadığından bağımsız olarak satır içi olur. [ Misal:

şablon void f (T) {/ * ... /} şablon satır içi T g (T) {/ ... * /}

şablon <> satır içi void f <> (int) {/ * ... /} // Tamam: satır içi şablon <> int g <> (int) {/ ... * /} // Tamam: satır içi değil - son misal ]

Dolayısıyla, *.hdosyada şablonlarla ilgili bazı açık (aka tam) uzmanlıklar inlineyaparsanız, ODR ihlalinden kurtulmanıza yine de yardım etmeniz gerekecektir .