Можно ли объявить в заголовочном файле функцию с неизвестным типом, который указан только в файле '.c'?

Твой комментарий:

Возможно, детали реализации дадут больше понимания. Я работаю над https://github.com/bitcoin-core/secp256k1, пытаясь превратить статическую функцию static int secp256k1_pubkey_load(const secp256k1_context* ctx, secp256k1_ge* ge, const secp256k1_pubkey* pubkey) в нестатическую и объявить ее в заголовочном файле с тем же именем, не перемещая все необходимые включения, связанные с типом параметров.

Это проблематично, потому что в кодовой базе, на которую ссылаются, имена typedef являются псевдонимами анонимных структур (typedef struct { ... } secp256k1_context; и т. д.).

Если бы они использовали псевдонимы помеченных структур (typedef struct tag typedef_name; или typedef struct tag {...} typedef_name;), вы могли бы просто сделать:

//forward-declare the structs (assuming tag = typedef_name)
struct secp256k1_context;
struct secp256k1_ge;
struct secp256k1_pubkey;
//use struct tag instead of typedef_name
int secp256k1_pubkey_load(const struct secp256k1_context* ctx, 
                          struct secp256k1_ge* ge, 
                          const struct secp256k1_pubkey* pubkey);

но это не так, поэтому вам нужно включить определения типов параметров. (Как упоминает Влад из Москвы, в этом конкретном случае вы можете использовать объявление без прототипа, но тогда вы потеряете тип безопасности.)

Это яркий пример того, почему иметь typedefs для анонимных агрегатов как часть API — плохая идея.

Лучше всего оставить struct как часть API или использовать typedef для структур с предсказуемой маркировкой, например, typedef struct file_tp file_tp; (если бы stdio.h делал это, нам не пришлось бы #include <stdio.h> каждый раз, когда мы хотим просто передать указатель на файл, но вместо этого он представляет собой FILE, не подлежащий объявлению вперед, что требует включения stdio.h даже там, где их можно было бы избежать.)

Да, вы можете сделать это. Просто объявите функцию без списка параметров.

Например

int my_function();

Из стандарта C (деклараторы функций 6.7.6.3 (включая прототипы))

3 Список идентификаторов в описателе функции, который не является частью определения этой функции, должен быть пустым.

а также

14. … Пустой список в объявлении функции, который не является частью определения этой функции, указывает, что не предоставляется никакой информации о количестве или типах параметров.

Учтите, что в этом случае у вас будут некоторые ограничения, такие как продвижение аргументов по умолчанию.

Также, возможно, вам следует также рассмотреть общий выбор в качестве альтернативы.

Единственная причина объявления прототипа функции — позволить другому коду, какие параметры он принимает и какой у функции тип возвращаемого значения. Так что ваша идея (ИМО) не имеет никакого смысла

static int secp256k1_pubkey_load(const secp256k1_context* ctx, secp256k1_ge* ge,
                                 const secp256k1_pubkey* pubkey)

Поскольку вы имеете дело только с указателями на структуры, вам просто нужны определения типов и неполные определения структур, которые вы можете взять из файлов .h, где они определены, чтобы дать компилятору достаточно контекста для объявления. Это легко для тех, которые являются typedefs структур, например. поместите эту строку над объявлением вашей функции:

typedef struct secp256k1_context_struct secp256k1_context;

Безопасно сделать идентичное повторное объявление, так что это будет нормально работать как с полными заголовками, так и без них.

Два других типа более проблематичны, потому что они являются определениями типов анонимных структур. Я думаю, что лучший способ сделать это - дать ему поддельную декларацию, если у нас нет настоящей, например.

#ifndef SECP256K1_H
typedef void secp256k1_pubkey;
#endif

#ifndef SECP256K1_GROUP_H
typedef void secp256k1_ge;
#endif

(Вы можете использовать реальное определение secp256k1_pubkey, но определение _ge зависит от полей, которые могут различаться, и я думаю, что наличие достаточного контекста для выбора правильных полей — это то, чего вы пытались избежать в первую очередь.)

Это немного хрупко, хотя и против изменений в библиотеке, и требует, чтобы вы включили заголовки secp256k1 перед этим файлом, если вообще. (В противном случае вы получите ошибки компилятора: сделайте пометку здесь в комментарии о том, что вы сделали, чтобы, если кто-то обнаружит это в будущем, они знали, как это исправить.)

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

Вы можете использовать любую функцию без параметров:
int my_function(); или
определение функции с параметрами void *
int my_function(void *p1, void *p2 ...);

См. комментарий Сангита Сараванараджа.

Хорошая ли это идея? Конечно нет.