Ошибки в VS 2019: LNK2019 и LNK 1120

@Salyvo · Регистрация: 01.12.2015

Студворк — интернет-сервис помощи студентам

Привет, форумчане! Не могу исправить четыре ошибки:

Ошибка LNK2019 ссылка на неразрешенный внешний символ "float __cdecl Multy(float *,int)" (?Multy@@YAMPAMH@Z) в функции _main
Ошибка LNK2019 ссылка на неразрешенный внешний символ "void __cdecl SwapKaf(struct Kaf *,struct Kaf *)" (?SwapKaf@@YAXPAUKaf@@0@Z) в функции _main
Ошибка LNK2019 ссылка на неразрешенный внешний символ "void __cdecl Sort(struct Kaf * const)" (?Sort@@YAXQAUKaf@@@Z) в функции _main
Ошибка LNK1120 неразрешенных внешних элементов: 3

Я использую Visual Studio 2019. Сделал имя решения Lab_1. Это структура моего тестового решения:
Название: 222.PNG
Просмотров: 136

Размер: 5.5 Кб

~lab_1 header.h

C++

#pragma once
 
//прототип суммы
int fun1(int a, int b);
 
//прототип разности
int fun2(int a, int b);
 
//структура Кафедра
struct Kaf
{
    char name[50];
    int year;
    int howmany;
    float grants;
};
 
//функция распечатки структуры
void printKaf(Kaf K);
 
//печать массива структур
void printArrayKaf(Kaf* pMas, int Razm);
 
//произведение всех элементов массива
float Multy(float* fMas, int Razm);
 
//Сортировка массива
void SortMas(int*, int);
//void SortMas(int* iMas, int Razm);
 
// Прототип обмена (Swap) для структур
void SwapKaf(Kaf* S1, Kaf* S2);
 
// Прототип сортирует массив структур по возрастанию кол-ва студентов в факультете кафедры
void Sort(Kaf Faculty[]);

~lab_1.cpp

C++

#pragma once
 
#undef main
#define _CRT_SECURE_NO_WARNINGS
 
#include "lab_1 header.h"
#include <iostream>
 
#include <stdlib.h>
#include <string.h>
#include <cmath>
 
using namespace std;
 
 
int main(void) 
//int main(void)
{
    system("chcp 1251 > nul");
    system("PAUSE");
 
    char SW;
 
MENU:; 
 
    system("CLS"); 
 
MENU2:;
    cout << "4.1 - 1. Создать в VS консольный проект" << endl;
    cout << "4.2 - 2. Обеспечить русификацию консольного ввода и вывода" << endl;
    cout << "4.3 - 3. Вариант для выполнения заданий ЛР" << endl;
    cout << "4.4 - 4. Описание переменных и массивов" << endl;
    cout << "4.5 - 5. Указатели и ссылки" << endl;
    cout << "4.6 - 6. Структуры данных" << endl;
    cout << "4.7 - 7. Динамическая память для структурных переменных и массива структур" << endl;
    cout << "4.8 - 8. Циклы и операторы ветвления" << endl;
    cout << "4.9 - 9. Описание функции и ее вызов" << endl;
    
 
    cout << "y - Выход" << endl;
    cout << "0 - Меню" << endl;
 
    cout << "Выберите пункт меню: \n" << endl;
 
    SW = getchar();
 
    switch (SW)
    {
    case '1':
    {
        cout << "Выбор №1" << endl;
        cout << "4.1 - Проверка создания консольного проекта" << endl;
        system("PAUSE");
        SW = getchar();
        goto MENU;
        break;
    }
 
    case '2':
    {
        cout << "Выбор №2" << endl;
        cout << "4.2 - Обеспечить руссификацию консольного ввода и вывода" << endl;
        cout << "Обеспечение руссификации" << endl;
        system("PAUSE");
        SW = getchar();
        goto MENU;
        break;
    }
 
    case '3':
    {
        cout << "Выбор №3" << endl;
        cout << "4.3 - Показать вариант для выполнения задании ЛР" << endl;
        cout << "Вариант для выполнения задании лабораторной работы №1 - 2 вариант" << endl;
        system("PAUSE");
        SW = getchar();
        goto MENU;
        break;
    }
 
    case '4':
    {
        cout << "Выбор №4" << endl;
        cout << "4.4 - Выполнить описание переменных и массивов \n" << endl;
        cout << "Описание переменных и массивов" << endl;
 
        // Переменные разных типов
        int iVar = 10;
        long lVar = 29;
        char cVar = 's';
        float fVar = 1.99f;
        double dVar = 99.099;
 
        cout << "iVar = " << iVar << '\n' << endl;
        cout << "lVar = " << lVar << '\n' << endl;
        cout << "cVar = " << cVar << '\n' << endl;
        cout << "fVar = " << fVar << '\n' << endl;
        cout << "dVar = " << dVar << '\n' << endl;
 
        // Массивы разных типов
        int iMas[2][4] = { {3,4,5,6},{5,6,7,8} };
        char cMas[1][40] = { "Абракадабра" };
        float fMas[2] = { 99.9f, 66.6f };
 
        cout << "Описание массивов: " << endl;
 
        for (int i = 0; i < 2; i++)
        {
            for (int j = 0; j < 3; j++)
            {
                cout << "iMas = [" << i << "]" << "[" << j << "]" << iMas[i][j] << endl; // i, j - индексы элемента в массиве
            }
        }
        cout << '\n';
 
        cout << "До изменения элемента массива" << '\n';
        for (int i = 0; i < 2; i++)
            cout << "fMas = [" << i << "]" << fMas[i] << endl; // i - индекс элемента в массиве
 
        fMas[1] = 77.11f;
 
        cout << "После изменения элемента массива" << '\n';
 
        for (int i = 0; i < 2; i++)
            cout << "fMas = [" << i << "]" << fMas[i] << endl;
 
        system("PAUSE");
        SW = getchar();
        goto MENU;
        break;
    }
 
    case '5':
    {
        cout << "Выбор №5" << endl;
        cout << "4.5 - Указатели и ссылки" << endl;
 
        cout << "Указатели на переменные" << "\n" << endl;
 
        int iVal = 5; //простая переменная
        int* pInt = &iVal; //указатель на переменную типа int и присваивание адреса переменной iVal
 
        cout << "До изменения значения: " << '\n' << endl;
        cout << "Адрес указателя pInt = " << pInt << '\n' << endl;
        cout << "Адрес переменной iVal = " << &iVal << '\n' << endl;
 
        *pInt = *pInt * 2;
 
        cout << "После изменения значения: " << "\n" << endl;
        cout << "Адрес указателя pInt = " << pInt << "\n" << endl;
        cout << "Адрес переменной iVal = " << &iVal << "\n" << endl;
 
        cout << "Ссылки на переменные" << "\n" << endl;
 
        int& rInt = iVal;
        iVal = 15;
 
        cout << "До изменения значения: " << '\n' << endl;
        cout << "Ссылка rInt = " << &rInt << '\n' << endl;
        cout << "Ссылка iVal = " << iVal << '\n' << endl;
 
        rInt = rInt - 5;
 
        cout << "После изменения значения: " << "\n" << endl;
        cout << "Ссылка rInt = " << &rInt << "\n" << endl;
        cout << "Ссылка iVal = " << iVal << "\n" << endl;
 
        cout << "Указатели на функции" << "\n" << endl; //не понял как работает
 
        fun1(4, 8); //вызов функции суммы
        fun2(4, 8); //вызов функции разности
 
        int result;
        int(*pFun)(int, int); //указатель на функцию с возвратом 2 типов (int,int)
 
        pFun = fun1;
 
        cout << "Вычисление через указатель" << "\n" << endl;
        result = pFun(55, 66);
        cout << pFun(55, 66) << endl;
 
        system("PAUSE");
        SW = getchar();
        goto MENU;
        break;
    }
 
    //case '6':
    //{
    //  cout << "Выбор №6" << endl;
    //  cout << "4.6 - Структуры данных" << '\n' << endl;
 
    //  struct Kaf K1 = { "ИУ-1", 1, 12, 6307.33f };
    //  printKaf(K1);
 
    //  struct Kaf K0; // = { "", 0, 0, 0.0f };
    //  printKaf(K0);
 
    //  strcpy_s(K0.name, "ИУ-6");
    //  K0.year = 3; //3.0f
    //  K0.howmany = 9;
    //  K0.grants = 5908.88f;
 
    //  printKaf(K0);
 
    //  Kaf Faculty[] = { {"ИУ-9", 3, 10, 7707.22f}, {"ИУ-4", 2, 13, 5797.11f} };
 
    //  //распечатка массива структур
    //  for (int i = 0; i < sizeof(Faculty) / sizeof(Kaf); i++)
    //      printArrayKaf(Faculty, sizeof(Faculty) / sizeof(Kaf));
 
    //  system("PASUE");
    //  SW = getchar();
    //  goto MENU;
    //  break;
    //          
    //}
 
    case '7':
    {
        cout << "Выбор №7!" << endl;
        cout << "4.7 - Динамическая память для структурных переменных и массива структур" << endl;
 
        int* pdInt;
        pdInt = new int;
        *pdInt = 25;
        cout << endl << "pdInt [" << pdInt << "]: "
            << *pdInt << endl;
        delete pdInt;
        Kaf* pdKaf = new Kaf;
        strcpy_s(pdKaf->name, "ИУ-7");
        pdKaf->year = 4;
        pdKaf->howmany = 18;
        pdKaf->grants = 3008, 21;
 
        cout << "Указатель pdKaf: [" << pdKaf << "]" << endl;
        printKaf(*pdKaf);
 
        delete pdKaf;
 
        Kaf* pdK = new Kaf[3];
        strcpy_s(pdK[0].name, "ИУ-4");
        pdK[0].year = 3;
        pdK[0].howmany = 18;
        pdK[0].grants = 4500.31f;
 
        strcpy_s(pdK[1].name, "ИУ-9");
        pdK[1].year = 5;
        pdK[1].howmany = 28;
        pdK[1].grants = 4200.01f;
 
        strcpy_s(pdK[2].name, "ИУ-8");
        pdK[2].year = 4;
        pdK[2].howmany = 19;
        pdK[2].grants = 6500.8f;
 
        cout << "Распечатка динамического массива pdK:" << endl;
 
        // Распечатка массива структур
        for (int i = 0; i < 3; i++)
            cout
            << "\n" << endl
            << "Название кафедры: " << pdK[i].name << endl
            << "Кол-во лет обучения = " << pdK[i].year << endl
            << "Кол-во студентов = " << pdK[i].howmany << endl
            << "Размер стипендии = " << pdK[i].grants << endl
            << "\n" << endl;
 
        delete[]pdK;
 
        system("PAUSE");
        SW = getchar(); // Сброс ENTER
        goto MENU;
        break;
    }
 
 
    case '8':
    {
        cout << "Выбор №8!" << endl;
        cout << "4.8 - Циклы и операторы ветвления" << endl;
 
        int Razm = 5;
        int* pMas = new int[Razm];
        pMas[0] = 3;
        pMas[1] = 2112;
        pMas[2] = 61;
        pMas[3] = 32;
        pMas[4] = 213;
 
 
        cout << "Распечатка массива: " << endl;
        for (int i = 0; i < Razm; i++)
            cout << " [" << i << "] = " << pMas[i] << endl;
 
        // Сортировка
        for (int k = 0; k < (Razm - 1); k++)
        {
            for (int i = 0; i < (Razm - 1); i++)
            {
                if (pMas[i] <= pMas[i + 1])   // Убывание
                {
                    // Swap
                    int Temp;
                    Temp = pMas[i];
                    pMas[i] = pMas[i + 1];
                    pMas[i + 1] = Temp;
                };
            };
        };
 
 
 
        cout << "Распечатка отсортированного массива: " << endl;
        for (int i = 0; i < Razm; i++)
            cout << " [" << i << "] = " << pMas[i] << endl;
 
        delete[]pMas;
 
        system("PAUSE");
        SW = getchar(); // Сброс ENTER
        goto MENU;
        break;
    }
 
    case '9':
    {
        cout << "Выбор №9!" << endl;
        cout << "4.9 - Описание функции и ее вызов" << endl;
 
        cout << "Простая функция" << '\n' << endl;
        float fMas[3] = { 44.5f, 11.44f, 98.3f };
        for (int i = 0; i < 3; i++)
            cout << "[" << i << "] = " << fMas[i] << endl;
        Multy(fMas, sizeof(fMas) / sizeof(float));
        cout << "Multy = " << Multy << endl;
 
        cout << "Функция сортировки" << '\n' << endl;
 
        cout << "До сортировки: " << endl;
        int Mas[3] = { 11, 32, 9 };
        cout << " " << endl;
 
        for (int i = 0; i < 3; i++)
            cout << " [" << i << "] = " << Mas[i] << endl;
        //int size = sizeof(Mas) / sizeof(int);
        //SortMas(Mas, size);
 
 
 
        Kaf* pdK = new Kaf[3];
 
        Kaf Faculty[] = { {"IU-1", 4, 26, 3670.32f}, {"IU-5", 4, 29, 2867.5f}, {"IU-7", 5, 22, 2902.2f} };
        printArrayKaf(Faculty, 3);
 
        // Распечатка массива структур
        for (int k = 0; k < 3; k++)
            for (int i = 0; i < 3; i++)
                if ((Faculty + i)->howmany < (Faculty + i + 1)->howmany)  // Убывание
                    SwapKaf(Faculty + i, Faculty + i + 1);
 
        printArrayKaf(Faculty, 3);
        Sort(Faculty);
 
        cout << "После сортировки" << endl;
 
        SortMas(Mas, 3);
        cout << " " << endl;
        for (int i = 0; i < 3; i++)
            cout << " [" << i << "] = " << Mas[i] << endl;
 
        // Распечатка массива структур
        printArrayKaf(Faculty, 3);
 
        system("PAUSE");
        SW = getchar(); // Сброс ENTER
        goto MENU;
        break;
 
 
 
    }
 
 
    };
 
    system("PAUSE");
 
 
 
}

~lab_1 second.cpp

C++

#pragma once
 
#include <iostream>
#include "lab_1 header.h"
#include <process.h>
 
#include <string.h>
#include <stdio.h>
 
using namespace std;
 
//функция суммы
int fun1(int a, int b)
{
    int c = a + b;
    cout << "Функция суммы = " << c << "\n" << endl;
    return 0;
}
 
//функция разности
int fun2(int a, int b)
{
    int c = a - b;
    cout << "Функция разности = " << c << "\n" << endl;
    return 0;
}
 
// функция распечатки структуры 
void printKaf(Kaf K)
{
    cout << "\n" << endl;
    cout << "Название кафедры: " << K.name << endl;
    cout << "Время обучения = " << K.year << endl;
    cout << "Количество студентов = " << K.howmany << endl;
    cout << "Размер стипендии = " << K.grants << endl;
    cout << "\n" << endl;
};
 
// печать массива структур
void printArrayKaf(Kaf* pMas, int Razm)
{
    for (int i = 0; i < Razm; i++)
        printKaf(pMas[i]);
    return;
};
 
 
void SortMas(int* Mas, int size) {
    int max = 0;
    int imax = 0;
    int i;
    int j;
 
    cout << " " << endl;
    for (i = 0; i < 3; i++)
        cout << " [" << i << "] = " << Mas[i] << endl;
    for (i = 0; i < 3; i++)
    {
        max = Mas[i];
        imax = i;
        for (j = i; j < size - 1; j++) 
            if (max <= Mas[j + 1])
            {
                max = Mas[j + 1];
                imax = j + 1;
            }
 
        if (i != imax)
        {
            max = Mas[i];
            Mas[i] = Mas[imax];
            Mas[imax] = max;
        }
    }
 
    //распечатка
    for (i = 0; i < 3; i++)
        cout << " [" << i << "] = " << Mas[i] << endl;
}

Гуглил, всё равно не понял как исправить эту проблему.

nd2 · 04.05.2019, 01:02

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

C++

1 2	//произведение всех элементов массива float Multy(float* fMas, int Razm);

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

C++

// Прототип обмена (Swap) для структур 
void SwapKaf(Kaf* S1, Kaf* S2); 
// Прототип сортирует массив структур по возрастанию кол-ва студентов в факультете кафедры 
void Sort(Kaf Faculty[]);

Реализации этих функций где?

Добавлено через 4 минуты
И что у тебя .cpp в ресурсах делают? Это source, а не resource.

@rokhin · 19.09.2021, 14:00

У меня похожая проблема.
Попытка вынести реализацию шаблона класса в отдельный файл (Test.h, Test.cpp) приводит к ошибке на этапе сборки.
Если перенести код из Test.cpp в MainTest.cpp к функции main(), то сборка происходит без ошибок.
Если отказаться от шаблона, а прописать для int, то сборка тоже происходит без ошибок.

Ошибка LNK2019 ссылка на неразрешенный внешний символ "public: __thiscall Test<int>::Test<int>(int)" (??0?$Test@H@@QAE@H@Z) в функции _main. Test C:\Users\User\source\repos\Test\Test\TestMain.obj 1

https://github.com/sergeyrokhin/Test

В случае, если удалю этот тестовый репозиторий:

Test.h

C++

#pragma once
template <class T>
class Test
{
    T m_t;
public:
    Test(T t);
};

Test.cpp :

C++

#include <iostream>
#include "Test.h"
 
template <class T>
Test<T>::Test(T t)
{
    m_t = t;
    std::cout << "Test.cpp set t = " << t << std::endl;
 
}

TestMain.cpp:

C++

#include <iostream>
#include "Test.h"
 
//Точно такой же текст в файле Test.cpp
// но он при сборке не подключается. в результате сборка не выполняется из-за неразрешенной ссылки
 
// Ошибка LNK2019 ссылка на неразрешенный внешний символ "public: 
// __thiscall Test<int>::Test<int>(int)" (? ? 0 ? $Test@H@@QAE@H@Z) в функции _main.Test    
//C : \Users\User\source\repos\Test\Test\TestMain.obj   1
 
//template <class T>
//Test<T>::Test(T t)
//{
//    m_t = t;
//    std::cout << "TestMain.cpp set t = " << t << std::endl;
//
//}
 
int main()
{
    Test<int> t(2);
    std::cout << "Hello World!\n";
}

Алексей1153 · 19.09.2021, 14:32

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

Попытка вынести реализацию шаблона класса в отдельный файл

не нужно делать такую попытку, и всё заработает

https://onlinegdb.com/Hn4BOcQAm

@rokhin · 19.09.2021, 15:10

Я подозревал, что для использования класса компилятор должен создать по шаблону соответствующие определения.
Но не понятно было, почему бы компилятору не посмотреть во все модули и найти все используемые типы.
Получается, что требуется явно указать, какие типы будут использоваться

Решение: достаточно в модуль Test.cpp добавить строку

C++

1	template class Test<int>; // создает описания класса по шаблону.

Решение предложено здесь.

https://stackoverflow.com/ques... eader-file

Алексей1153 · 19.09.2021, 15:38

rokhin, но тогда все используемые типы так придётся в этом месте перечислить. Если такое решение устраивает, то ок

https://onlinegdb.com/3pJ-YGzucq

@rokhin · 19.09.2021, 15:51

Да, перечислять - это плохое решение.
А как заставить компилятор искать во всех модулях упоминания экземпляров шаблона?

Алексей1153 · 19.09.2021, 15:56

rokhin, никак

Шаблон не генерирует кода, пока его не использовали для определения

Если прописывать типы нет возможности, то придётся оставить весь шаблон в заголовке

@rokhin · 19.09.2021, 18:21

А почему компилятор, увидев использование шаблона, не может скомпилировать для этого использования соответствующую реализацию?

@rokhin · 20.09.2021, 11:08

Алексей1153, Получается, что придется *.cpp превратить в *.h
т.е. *.cpp не нужны?
И ещё. Если будет много модулей cpp, где будет использоваться этот заголовочный файл, то в каждом модуле будет компилироваться своя функция?

Алексей1153 · 20.09.2021, 11:14

rokhin, да, весь код шаблона придётся перенести в заголовок

Добавлено через 3 минуты

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

то в каждом модуле будет компилироваться своя функция?

для каждого типа аргумента будет создана своя функция.

в каждом cpp будет компилиться один экземпляр функции каждого типа аргумента

@TheCalligrapher · 21.09.2021, 17:15

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

А почему компилятор, увидев использование шаблона, не может скомпилировать для этого использования соответствующую реализацию?

Именно так компилятор и работает. Но для этого ему нужно видеть определение шаблона, разумеется.

А вы предлагаете "спрятать" определение шаблона куда-то в .cpp файл. Из чего компилятор будет "компилировать реализацию", если теперь он не видит определение шаблона?

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

И ещё. Если будет много модулей cpp, где будет использоваться этот заголовочный файл, то в каждом модуле будет компилироваться своя функция?

Да, именно так обычно это и работает. Но если это шаблонная функция со внешним связыванием, то потом линкер аккуратно удалит все дубликаты и в финальной программе останется только одна копия.

@rokhin · 21.09.2021, 17:40

почему бы не поискать определение шаблона в модулях проекта?
Наверняка есть этому причина, и я уже смирился, что код будет написан в заголовочном файле.
Но это размещение портит хорошую идею шаблона, и модульности проекта, и будет компилироваться одинаковый код для всех модулей, где будет встречаться использование шаблона.

Добавлено через 3 минуты
ну если сборщик удалит, то молодец.
но почему бы не "докомпилировать" то, что не нашел.

@TheCalligrapher · 21.09.2021, 18:01

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

почему бы не поискать определение шаблона в модулях проекта?

В каких "модулях"? В С++ исторически нет поддержки "модулей". Есть единицы трансляции (читай: .cpp файлы), которые с испокон веков компилируются строго независимо, тщательно изолированно от любых других единиц трансляции. Компилятор не может ничего нигде "искать". Компилятор не имеет права даже знать о существовании какие-то других единиц трансляции. Это важнейший фундаментальный принцип - принцип независимой трансляции - на котором построен весь процесс компиляции в С и С++.

Знание о всех компонентах программы доступно только линкеру, но не компилятору. Компилятор всегда работает в изолированной "песочнице": в единственной единице трансляции.

Поддержка модулей в С++ появилась в С++20, но это совсем другая история.

Добавлено через 4 минуты

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

ну если сборщик удалит, то молодец.
но почему бы не "докомпилировать" то, что не нашел.

Сборщик не умеет ничего "компилировать". Он сборщик, а не компилятор.

Альтернативные реализации когда-то существовали (Sun Solaris), в которых шаблоны компилировались в несколько проходов: первым проходом просто анализировался исходный код и коллекционировались все версии шаблонов, которые фактически понадобятся, вторым проходом генерировался фактический код для них, сразу в единственном экземпляре. Но это делалось в первую очередь для того, чтобы не тратить производительность на генерацию повторяющегося кода. Однако с ростом производительности платформ такая экономия оказалась не нужной. Проще просто тупо сгенерировать множество копий кода, а потом вычистить дубликаты. (Плюс у вас еще есть явное инстанцирование для оптимизации этого процесса, если вы захотите этим заняться).

@rokhin · 09.09.2022, 09:19

Проблема компилятора и сборщика мне стала понятна из обсуждений.
И мне тоже не сильно помогли советы гуру. Но сегодня нашел ссылку в документации Microsoft, которая всё объяснила, предложила два способа решения и дала рекомендации по предпочтениям этих способов.
Документация:
https://docs.microsoft.com/ru-... -templates

Алексей1153 фрилансер 5231 / 4768 / 1003 Регистрация: 11.10.2019 Сообщений: 12,506
	19.09.2021, 14:32	4
	Сообщение от rokhin Попытка вынести реализацию шаблона класса в отдельный файл не нужно делать такую попытку, и всё заработает https://onlinegdb.com/Hn4BOcQAm 1

Алексей1153 фрилансер 5231 / 4768 / 1003 Регистрация: 11.10.2019 Сообщений: 12,506
	19.09.2021, 15:38	6
	rokhin, но тогда все используемые типы так придётся в этом месте перечислить. Если такое решение устраивает, то ок https://onlinegdb.com/3pJ-YGzucq 0

@rokhin 0 / 0 / 0 Регистрация: 19.09.2021 Сообщений: 11
	19.09.2021, 15:51	7
	Да, перечислять - это плохое решение. А как заставить компилятор искать во всех модулях упоминания экземпляров шаблона? 0

Алексей1153 фрилансер 5231 / 4768 / 1003 Регистрация: 11.10.2019 Сообщений: 12,506
	19.09.2021, 15:56	8
	rokhin, никак Шаблон не генерирует кода, пока его не использовали для определения Если прописывать типы нет возможности, то придётся оставить весь шаблон в заголовке 0

@rokhin 0 / 0 / 0 Регистрация: 19.09.2021 Сообщений: 11
	19.09.2021, 18:21	9
	А почему компилятор, увидев использование шаблона, не может скомпилировать для этого использования соответствующую реализацию? 0

@rokhin 0 / 0 / 0 Регистрация: 19.09.2021 Сообщений: 11
	20.09.2021, 11:08	10
	Алексей1153, Получается, что придется .cpp превратить в .h т.е. *.cpp не нужны? И ещё. Если будет много модулей cpp, где будет использоваться этот заголовочный файл, то в каждом модуле будет компилироваться своя функция? 0

Алексей1153 фрилансер 5231 / 4768 / 1003 Регистрация: 11.10.2019 Сообщений: 12,506
	20.09.2021, 11:14	11
	rokhin, да, весь код шаблона придётся перенести в заголовок Добавлено через 3 минуты Сообщение от rokhin то в каждом модуле будет компилироваться своя функция? для каждого типа аргумента будет создана своя функция. в каждом cpp будет компилиться один экземпляр функции каждого типа аргумента 0

@TheCalligrapher Вездепух 11182 / 6125 / 1677 Регистрация: 18.10.2014 Сообщений: 15,424
	21.09.2021, 17:15	12
	Сообщение от rokhin А почему компилятор, увидев использование шаблона, не может скомпилировать для этого использования соответствующую реализацию? Именно так компилятор и работает. Но для этого ему нужно видеть определение шаблона, разумеется. А вы предлагаете "спрятать" определение шаблона куда-то в `.cpp` файл. Из чего компилятор будет "компилировать реализацию", если теперь он не видит определение шаблона? Сообщение от rokhin И ещё. Если будет много модулей cpp, где будет использоваться этот заголовочный файл, то в каждом модуле будет компилироваться своя функция? Да, именно так обычно это и работает. Но если это шаблонная функция со внешним связыванием, то потом линкер аккуратно удалит все дубликаты и в финальной программе останется только одна копия. 1

@rokhin 0 / 0 / 0 Регистрация: 19.09.2021 Сообщений: 11
	21.09.2021, 17:40	13
	почему бы не поискать определение шаблона в модулях проекта? Наверняка есть этому причина, и я уже смирился, что код будет написан в заголовочном файле. Но это размещение портит хорошую идею шаблона, и модульности проекта, и будет компилироваться одинаковый код для всех модулей, где будет встречаться использование шаблона. Добавлено через 3 минуты ну если сборщик удалит, то молодец. но почему бы не "докомпилировать" то, что не нашел. 0

@TheCalligrapher Вездепух 11182 / 6125 / 1677 Регистрация: 18.10.2014 Сообщений: 15,424
	21.09.2021, 18:01	14
	Сообщение от rokhin почему бы не поискать определение шаблона в модулях проекта? В каких "модулях"? В С++ исторически нет поддержки "модулей". Есть единицы трансляции (читай: `.cpp` файлы), которые с испокон веков компилируются строго независимо, тщательно изолированно от любых других единиц трансляции. Компилятор не может ничего нигде "искать". Компилятор не имеет права даже знать о существовании какие-то других единиц трансляции. Это важнейший фундаментальный принцип - принцип независимой трансляции - на котором построен весь процесс компиляции в С и С++. Знание о всех компонентах программы доступно только линкеру, но не компилятору. Компилятор всегда работает в изолированной "песочнице": в единственной единице трансляции. Поддержка модулей в С++ появилась в С++20, но это совсем другая история. Добавлено через 4 минуты Сообщение от rokhin ну если сборщик удалит, то молодец. но почему бы не "докомпилировать" то, что не нашел. Сборщик не умеет ничего "компилировать". Он сборщик, а не компилятор. Альтернативные реализации когда-то существовали (Sun Solaris), в которых шаблоны компилировались в несколько проходов: первым проходом просто анализировался исходный код и коллекционировались все версии шаблонов, которые фактически понадобятся, вторым проходом генерировался фактический код для них, сразу в единственном экземпляре. Но это делалось в первую очередь для того, чтобы не тратить производительность на генерацию повторяющегося кода. Однако с ростом производительности платформ такая экономия оказалась не нужной. Проще просто тупо сгенерировать множество копий кода, а потом вычистить дубликаты. (Плюс у вас еще есть явное инстанцирование для оптимизации этого процесса, если вы захотите этим заняться). 0

@rokhin 0 / 0 / 0 Регистрация: 19.09.2021 Сообщений: 11
	09.09.2022, 09:19	15
	Проблема компилятора и сборщика мне стала понятна из обсуждений. И мне тоже не сильно помогли советы гуру. Но сегодня нашел ссылку в документации Microsoft, которая всё объяснила, предложила два способа решения и дала рекомендации по предпочтениям этих способов. Документация: https://docs.microsoft.com/ru-... -templates 0