enable_if выдает "no matching function for call ." под GCC, хотя под MSVC все работает

@Kerim_Geophysic · Регистрация: 08.01.2016

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

Добрый день,

Шаблон функции где я использую enable_if (объявление и реализация разнесены по разным хедерам):
h5core.h:

C++
1
2
3
4
5
6
template<typename Object,
         typename std::enable_if<
           std::is_same<Object, h5gt::File>::value |
           std::is_same<Object, h5gt::Group>::value |
           std::is_same<Object, h5gt::DataSet>::value>::type* = nullptr>
unsigned getEnumFromObj(Object& object, const std::string& attrName);

h5core_misc.h:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
template<typename Object,
         typename std::enable_if<
           std::is_same<Object, h5gt::File>::value |
           std::is_same<Object, h5gt::Group>::value |
           std::is_same<Object, h5gt::DataSet>::value>::type*>
inline unsigned getEnumFromObj(Object& object, const std::string& attrName){
  unsigned value;
  if (object.hasAttribute(attrName)){
    h5gt::Attribute attr = object.getAttribute(attrName);
    attr.read(value);
  } else {
    value = 0;
  }
  return value;
}

Я не совсем въезжаю что значит ::type*, зачем там звездочка? значит ли это что я передаю указатель? Но только так я смог запускать свой код где я вызываю этот шаблон следующим образом:
h5baseimpl.cxx:

C++
1
2
3
4
  h5gt::File file("myFile.h5");
  std::string str = "my_string";
  unsigned val = getEnumFromObj(
        file, str);

данный код компилируется под MSVC 2019, но GCC 9.3 выдает ошибку:

h5baseimpl.cxx:52: error: no matching function for call to ‘getEnumFromObj(h5gt::File&, std::string)’
h5baseimpl.cxx: In static member function ‘static bool H5BaseImpl::isContainer(h5gt::File, const h5geo::ContainerType&)’:
h5baseimpl.cxx:52:64: error: no matching function for call to ‘getEnumFromObj(h5gt::File&, std::string)’
52 | h5geo::ContainerAttributes::ContainerTyp e)});
| ^

@DrOffset · 03.05.2021, 14:29

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

Я не совсем въезжаю что значит ::type*, зачем там звездочка? значит ли это что я передаю указатель?

Да.

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

h5baseimpl.cxx

В этом файле точно видно объявление шаблона из файла h5core.h?

@eva2326 · 03.05.2021, 14:30

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

std::is_same<Object, h5gt::File>::value |
std::is_same<Object, h5gt::Group>::value

Вы уверены, что тут должно быть именно битовое или, а не логическое?

C++
1
std::is_same<Object, h5gt::File>::value || std::is_same<Object, h5gt::Group>::value ...

@DrOffset · 03.05.2021, 14:31

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

Я не совсем въезжаю что значит ::type*

По умолчанию второй параметр у enable_if - void. type - это псевдоним на этот параметр. Добавляя звездочку, вы получаете указатель на void.

Т.е. при успешной подстановке второй параметр вашей шаблонной функции будет выглядеть так:

C++
1
2
template<typename Object, void * = nullptr> // Если Object - это h5gt::File или h5gt::Group или h5gt::DataSet
unsigned getEnumFromObj(Object& object, const std::string& attrName);

@Kerim_Geophysic · 03.05.2021, 14:39 **[ТС]**

DrOffset, в h5baseimpl.cxx я подключаю h5core.h:
#include "../include/h5geo/h5core.h"

Добавлено через 7 минут
eva2326, скорее логическое, спасибо. Но это не решило данной задачи.

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

Т.е. при успешной подстановке второй параметр вашей шаблонной функции будет выглядеть так:
C++Выделить код
1
2
template<typename Object, void * = nullptr> // Если Object - это h5gt::File или h5gt::Group или h5gt:

ataSet
unsigned getEnumFromObj(Object& object, const std::string& attrName);

спасибо за разъяснение, теперь немного понял как это работает

Но странно что под GCC не компилируется

@DrOffset · 03.05.2021, 14:43

Kerim_Geophysic, попробуйте временно перенести реализацию из h5core_misc.h в h5core.h (из h5core_misc.h убрать).

@Kerim_Geophysic · 03.05.2021, 14:51 **[ТС]**

DrOffset, спасибо, это решает задачу. То есть если комментирую реализацию шаблона функции в h5core_misc.h и переношу реализацию в h5core.h то ошибка уходит.

Теперь задача разобраться почему не получается разнести объявление и реализацию по файлам

В h5core.h (объявление) я подключаю h5core_misc.h (реализация). В h5baseimpl.cxx я подключаю h5core.h и использую этот шаблон функции.

Объявление у меня в h5core.h:

C++
1
2
3
4
5
6
template<typename Object,
         typename std::enable_if<
           std::is_same<Object, h5gt::File>::value |
           std::is_same<Object, h5gt::Group>::value |
           std::is_same<Object, h5gt::DataSet>::value>::type* = nullptr>
unsigned getEnumFromObj(Object& object, const std::string& attrName);

а реализация в h5core_misc.h:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
template<typename Object,
         typename std::enable_if<
           std::is_same<Object, h5gt::File>::value |
           std::is_same<Object, h5gt::Group>::value |
           std::is_same<Object, h5gt::DataSet>::value>::type*>
inline unsigned getEnumFromObj(Object& object, const std::string& attrName){
  unsigned value;
  if (object.hasAttribute(attrName)){
    h5gt::Attribute attr = object.getAttribute(attrName);
    attr.read(value);
  } else {
    value = 0;
  }
  return value;
}

@DrOffset · 03.05.2021, 15:01

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

Теперь задача разобраться почему не получается разнести объявление и реализацию по файлам

Скорее всего вы где-то что-то сделали неправильно.
Проверьте include guards и порядок включения ваших файлов.

Добавлено через 1 минуту
Имейте в виду, что в конечном счете h5core_misc.h должен быть также подключен прямо или косвенно в h5baseimpl.cxx.

@eva2326 · 03.05.2021, 15:38

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

скорее логическое

Рассуждение с позиции "скорее" - это плохой путь.
Вы либо точно знаете, что вам нужно, либо вы пишите код без понимания того, что вы делаете.

В вашем случае должно быть логическое или.

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

Но странно что под GCC не компилируется

Вы написали код с ошибками.
Было бы странно, если бы он скомпилировался.

Проверьте настройки Visual Studio:
Установлен ли ключ /permissive-

Скорее всего он у вас не установлен

В этом случае компилятор позволяет себе отходить от стандарта.
В частности, он использует однофазный поиск имен (gcc использует двухфазный, как это предписывает стандарт).

Поведения

Объяснение

@Kerim_Geophysic · 03.05.2021, 16:06 **[ТС]**

eva2326, спасибо за разъяснения, я использую cmake вне визуал студио.
Попробовал добавить:

Bash
1
2
3
if (MSVC)
  add_compile_options(/permissive-)
endif()

Код компилируется все равно под MSVC

@DrOffset · 03.05.2021, 16:14

Kerim_Geophysic, в данном случае двухфазный поиск не при чем. У вас просто каким-то образом получается ситуация, что компилятор видит только определение шаблона из h5core_misc.h (где параметр по умолчанию у шаблона не задан, и не может быть выведен), но не видит объявление из h5core.h. Из-за невозможности вывести второй параметр у вас появляется ошибка "no matching function for call". Каким образом это возможно отсюда мне не видно, но я рискну предположить, что вы использовали одинаковые include guards на оба файла.

@Kerim_Geophysic · 03.05.2021, 16:17 **[ТС]**

DrOffset, с момента предыдущего вашего поста я так же рассуждаю, но инклюд гуардс разные:

#ifndef H5CORE_H
#define H5CORE_H

и

#ifndef H5CORE_MISC_H
#define H5CORE_MISC_H

@DrOffset · 03.05.2021, 16:23

Kerim_Geophysic, как вы обеспечиваете видимость h5core_misc.h в h5baseimpl.cxx?

@Kerim_Geophysic · 03.05.2021, 16:26 **[ТС]**

DrOffset, в h5baseimpl.cxx:

C++
1
2
#include "../include/h5geo/misc/h5baseimpl.h"
#include "../include/h5geo/h5core.h"

в h5core.h:

C++
1
#include "misc/h5core_misc.h"

@zayats80888 · 03.05.2021, 16:27

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

но инклюд гуардс разные

По всей видимости определение появилось раньше объявления(кто-то включил h5core_misc раньше h5core).
https://wandbox.org/permlink/gAGcexHMwdIf2Cyc

@DrOffset · 03.05.2021, 16:32

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

#include "misc/h5core_misc.h"

В h5core.h эта строка должна быть в конце файла.

@TheCalligrapher · 03.05.2021, 16:42

Это, кстати, интересный вопрос. Это баг GCC? GCC не умеет "накапливать" аргументы по умолчанию для шаблонных параметров?

Clang и MSVC прекрасно компилируют это, GCC отказывается

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template <typename T, typename U> void foo();
 
void bar1()
{
  foo<int, int>();
}
 
template <typename T, typename U = int> void foo();
 
void bar2()
{
  foo<int>();
}
 
template <typename T = int, typename U> void foo() {}
 
int main()
{
  foo();
}

Или прав именно GCC?

@Kerim_Geophysic · 03.05.2021, 16:48 **[ТС]**

zayats80888, идея интересная спасибо, и перекликается с утверждением DrOffset:

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

#include "misc/h5core_misc.h"
В h5core.h эта строка должна быть в конце файла.

Огромное спасибо вам ребят, перенос инклюда файла-реализации в конец файла объявления решил эту задачу. Раньше я не понимал в зачем хедер онли библиотеках иногда определение включают в конец файлов так как я сидел на MSVC... теперь буду знать

Теперь буду разбираться почему я получаю ошибку:

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Scanning dependencies of target h5geo
[  4%] Building CXX object CMakeFiles/h5geo.dir/src/h5baseimpl.cxx.o // до переноса #include "misc/h5core_misc.h" в конец h5core.h здесь я уже получал указанную выше ошибку
[  8%] Building CXX object CMakeFiles/h5geo.dir/src/h5basecontainerimpl.cxx.o
[ 12%] Building CXX object CMakeFiles/h5geo.dir/src/h5baseobjectimpl.cxx.o
[ 16%] Building CXX object CMakeFiles/h5geo.dir/src/h5devcurveimpl.cxx.o
[ 20%] Building CXX object CMakeFiles/h5geo.dir/src/h5logcurveimpl.cxx.o
[ 24%] Building CXX object CMakeFiles/h5geo.dir/src/h5seisimpl.cxx.o
[ 28%] Building CXX object CMakeFiles/h5geo.dir/src/h5seiscontainerimpl.cxx.o
[ 32%] Building CXX object CMakeFiles/h5geo.dir/src/h5surfcontainerimpl.cxx.o
[ 36%] Building CXX object CMakeFiles/h5geo.dir/src/h5surfimpl.cxx.o
[ 40%] Building CXX object CMakeFiles/h5geo.dir/src/h5wellimpl.cxx.o
[ 44%] Building CXX object CMakeFiles/h5geo.dir/src/h5wellcontainerimpl.cxx.o
make[2]: *** No rule to make target '/usr/lib/x86_64-linux-gnu/libm.so>', needed by 'libh5geo.so'.  Stop.
make[1]: *** [CMakeFiles/Makefile2:465: CMakeFiles/h5geo.dir/all] Error 2
make: *** [Makefile:160: all] Error 2

@TheCalligrapher · 03.05.2021, 17:14

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

Огромное спасибо вам ребят, перенос инклюда файла-реализации в конец файла объявления решил эту задачу. Раньше я не понимал в зачем хедер онли библиотеках иногда определение включают в конец файлов так как я сидел на MSVC...

В "хедер онли" библиотеках определения включают в конец файлов объявлений потому, что во многих контекстах в С++ определение обязано следовать за объявлением. Например, невозможно определить метод класса до его объявления и т.п. Однако во многих других контекстах порядок не важен.

В вашем случае такой обязательности нет. И сражаетесь вы в данном случае именно с багом GCC (если я ничего не упускаю). MSVC же работает правильно, то есть никакой ошибки тут нет.

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@DrOffset 19491 / 10097 / 2460 Регистрация: 30.01.2014 Сообщений: 17,805
	03.05.2021, 14:43
	Kerim_Geophysic, попробуйте временно перенести реализацию из `h5core_misc.h` в `h5core.h` (из `h5core_misc.h` убрать). 1

@DrOffset 19491 / 10097 / 2460 Регистрация: 30.01.2014 Сообщений: 17,805
	03.05.2021, 16:14
	Kerim_Geophysic, в данном случае двухфазный поиск не при чем. У вас просто каким-то образом получается ситуация, что компилятор видит только определение шаблона из `h5core_misc.h` (где параметр по умолчанию у шаблона не задан, и не может быть выведен), но не видит объявление из `h5core.h`. Из-за невозможности вывести второй параметр у вас появляется ошибка "no matching function for call". Каким образом это возможно отсюда мне не видно, но я рискну предположить, что вы использовали одинаковые include guards на оба файла. 1

@Kerim_Geophysic 2 / 2 / 0 Регистрация: 08.01.2016 Сообщений: 491
	03.05.2021, 16:17 [ТС]
	DrOffset, с момента предыдущего вашего поста я так же рассуждаю, но инклюд гуардс разные: #ifndef H5CORE_H #define H5CORE_H и #ifndef H5CORE_MISC_H #define H5CORE_MISC_H 0

@DrOffset 19491 / 10097 / 2460 Регистрация: 30.01.2014 Сообщений: 17,805
	03.05.2021, 16:23
	Kerim_Geophysic, как вы обеспечиваете видимость `h5core_misc.h` в `h5baseimpl.cxx`? 1

enable_if выдает "no matching function for call ." под GCC, хотя под MSVC все работает

Решение