void f(char*);
void f(char* &);
void f(char* const &);

template <typename T, typename ... V>
concept c_any_of = ( std::is_same_v<T, V> || ... );

template <c_any_of<int, double> T>
void func(T number) {}

#pragma once

//#define MY_API __declspec(dllimport)
#define MY_API __attribute__((visibility("default")))

template <class> void MY_API mySuperPuperFunction();

//#define MY_API __declspec(dllexport)
#define MY_API __attribute__((visibility("default")))

template <class> void MY_API mySuperPuperFunction()
{
    // код
}

// явно определив версии с допустимыми комбинациями параметров
template void mySuperPuperFunction<int>();
template void mySuperPuperFunction<char>();

#include <hdr.h>

int main()
{
    mySuperPuperFunction<int>();//ок
    mySuperPuperFunction<char>();//ок
    mySuperPuperFunction<short>();//не ок, ошибка линковки
    return 0;
}

// явно определив версии с допустимыми комбинациями параметров
template <> void mySuperPuperFunction<int>();
template <> void mySuperPuperFunction<char>();

template void mySuperPuperFunction<int>();
template void mySuperPuperFunction<char>();

template<class T> void foo() { printf("1"); }

template<class T> void bar() { foo<T>(); }  // в этой точке видна только foo #1, поэтому она и вызовется

template<class T> void foo() requires true { printf("2"); }

template<class T> void buz() { foo<T>(); }  // функция с ограничением имеет приоритет, поэтому вызовется foo #2

int main() {
  bar<void>();
  buz<void>();
}
// для разнообразия, попробуйте разнести объявления и определения foo
// и перетащить определения выше-ниже точки инстанцирования, то есть, main().

template<class T> void foo();  // тип функции - один и тот же: void()

int main() {
  foo<int>();
  foo<char>(); // фигушки, линкер всё равно возьмёт foo<int>
}

Richard Smith 2023-04-07 19:50:08 UTC
I've proposed mangling rules on the ABI list: https://github.com/itanium-cxx-abi/cxx-abi/issues/24#issuecomment-1491130332

We're ready to land an implementation in Clang; I would appreciate feedback from GCC folks first, though.