다른 개체를 사용할 때 템플릿 전문화의 다중 정의

다른 개체 파일에서 특수 템플릿을 사용하면 연결할 때 "다중 정의"오류가 발생합니다. 내가 찾은 유일한 해결책은 "인라인"기능을 사용하는 것이지만 일부 해결 방법처럼 보입니다. "인라인"키워드를 사용하지 않고 어떻게 해결합니까? 가능하지 않다면 왜?

다음은 예제 코드입니다.

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

드디어:

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 내부의 "인라인"의 주석 처리를 제거하면 코드가 컴파일되고 실행되지만 일종의 "해결 방법"처럼 보입니다. 특수 함수가 크고 여러 번 사용되면 어떻게 될까요? 큰 바이너리를 얻을 수 있습니까? 이 작업을 수행하는 다른 방법이 있습니까? 그렇다면 어떻게? 그렇지 않다면 왜?

답을 찾아 보려고했지만 추가 설명없이 "인라인으로 사용"하는 것이 전부였습니다.

감사

직관적으로 어떤 것을 완전히 전문화하면 더 이상 템플릿 매개 변수에 의존하지 않습니다. 따라서 전문화를 인라인으로 만들지 않는 한 .h 대신 .cpp 파일에 넣어야합니다. 그렇지 않으면 David가 말한 것처럼 하나의 정의 규칙. 템플릿을 부분적으로 전문화하는 경우 부분 전문화는 여전히 하나 이상의 템플릿 매개 변수에 의존하므로 .h 파일로 이동합니다.

이 키워드 inline는 컴파일러가 수행할지 여부를 결정할 수있는 실제 인라인에 대한 것보다 단일 정의 규칙을 위반하지 않고 둘 이상의 객체 파일에 심볼이 존재한다는 것을 컴파일러에 알리는 것입니다.

지금보고있는 문제는 인라인이 없으면 함수가 헤더를 포함하는 모든 변환 단위로 컴파일되어 ODR을 위반한다는 것입니다. 추가 inline하는 것이 올바른 방법입니다. 그렇지 않으면 다른 기능과 마찬가지로 전문화를 전달하여 단일 번역 단위로 제공 할 수 있습니다.

헤더 ( void Hello<T>::print_hello(T var)) 에서 템플릿을 명시 적으로 인스턴스화했습니다 . 이렇게하면 여러 정의가 생성됩니다. 두 가지 방법으로 해결할 수 있습니다.

1) 인스턴스화를 인라인으로 만드십시오.

2) 헤더에서 인스턴스화를 선언 한 다음 cpp에서 구현합니다.

여기에 몇 가지있다 조각 이 문제와 관련된 11 표준 C ++의는 :

함수 템플릿의 명시 적 특수화는 함수 템플릿이 인라인인지 여부와 관계없이 인라인 지정자로 선언되거나 삭제 된 것으로 정의 된 경우에만 인라인됩니다. [ 예:

템플릿 void f (T) {/ * ... /} 템플릿 인라인 T g (T) {/ ... * /}

template <> inline void f <> (int) {/ * ... /} // OK : inline template <> int g <> (int) {/ ... * /} // OK : not inline — end 예 ]

따라서 파일에서 템플릿의 명시 적 (일명 전체) 전문화 *.h를 수행하는 경우에도 ODRinline 위반을 제거하는 데 도움이 필요 합니다 .