Почему возникает ошибка error C4430 в шаблоне, если выходной тип определен?

Question

[Павел Соколов]

Использую lib в с++ решениях. Там где она является одним из проектов нет ошибок, в другом решении (которое dll) возникает ошибка в

template<typename IN, typename OUT> constexpr inline
OUT iterable_hash(const IN* in, size_t in_size, auto iterable_hash_lamda) {
//some code
}

error C4430: отсутствует спецификатор типа - предполагается int. Примечание. C++ не поддерживает int по умолчанию
Я не понимаю откуда здесь берется int (я же определил OUT по шаблону). И не понимаю почему в решении где она создана нет ошибки, а в решении где она используется как внешняя - ошибка.

Собираю в с++ 20, устаревший mscv, /permisive

Comments

[Dmitrii]

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

[Павел Соколов]

Dmitrii, используется в функции

constexpr inline uint64_t token_name(const wchar_t* wstr, size_t wstr_len) {
	return utils::pearson_hash<wchar_t, uint64_t>(wstr, wstr_len);
}

а pearson_hash это

template<typename IN, typename OUT> constexpr inline
OUT pearson_hash(const IN* in, size_t in_size) {
	return iterable_hash<IN, OUT>(
		in, in_size,
		[](IN& out_step, const IN& in_step) {
			return out_step ^ in_step;
		}
	);
};

То есть wchar_t* переводится в uint64_t и функция которая это использует - явно объявляет типы, что должны быть и лежит в lib (token_name). В dll надо обеспечить возможность использовать данный шаблон, а также использовать стандартный вариант, который в lib. Я не понимаю что я делаю не так

[Евгений Шатунов]

Павел Соколов,

Я не понимаю что я делаю не так

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

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

Для шаблона нет разницы, в заголовке к DLL он написан или в каком-либо еще. Шаблон инстанцируется на стадии компиляции и всегда должен быть определен до места своего инстанцирования в модуле трансляции.

[Павел Соколов]

Евгений Шатунов, проект в решении (lib)
utils\include\hash.h

#pragma once
#include "type_info.h"
namespace utils {
	//template for iterable hashes, where iteration is independannt result
	template<typename IN, typename OUT> constexpr inline
	OUT	iterable_hash(const IN* in, size_t in_size, auto iterable_hash_lamda) {
		static_assert(
			!(sizeof(OUT) < sizeof(IN)), 
			"iterable_hash can`t generate output type smaller than input type"
		);
		static_assert(
			!type_in_type_wholes<IN, OUT>(),
			"iterable_hash can`t input type must fil entirely output type"
		);
		//to do "static warning", when sizeof(in)*in_size=OUT
		OUT result;
		IN* out_pointer = (IN*)&result;
		//make result = 0, supports arrays with constant legth (like int[2])
		size_t i = type_in_type_capasity<IN, OUT>(), ii = 0;
		while (i) {
			out_pointer[--i] = 0;
		}
		//calculate hash, IN size is already a STEP size
		i = type_in_type_capasity<IN, OUT>();
		while (in_size) {
			out_pointer[ii] = iterable_hash_lamda(out_pointer[ii], in[--in_size]);
			if (++ii == i) {
				ii = 0;
			}
		}
		return result;
	}
	template<typename IN, typename OUT> constexpr inline
	OUT	pearson_hash(const IN* in, size_t in_size) {
		return iterable_hash<IN, OUT>(
			in, in_size,
			[](IN& out_step, const IN& in_step) {
				return out_step ^ in_step;
			}
		);
	};
}

token\object.h

#pragma once
#include "utils/include/hash.h"
#include <stdint.h>
#include <xstring>
namespace tokenoperator::dte_token {
#define TOKEN_NAME(lpwstr) token_name(lpwstr, std::char_traits<wchar_t>::length(lpwstr))
	struct object {
		public:
			object(uint64_t ID) : ID(ID){}
			virtual ~object() {}
			uint64_t getID() const {
				return ID; 
			}
		protected:
			uint64_t ID;
	};
	constexpr inline uint64_t token_name(const wchar_t* wstr, size_t wstr_len) {
		return utils::pearson_hash<wchar_t, uint64_t>(wstr, wstr_len);
	}
}

в lib, другом проекте решения (exe) и в dll есть структуры наследники объекта, например
token\data\include\value.h

#pragma once
#include "type.h"
namespace tokenoperator::dte_token::data {
	template<typename T>
	struct value : object {
		template <typename U> friend struct value;
		public:
			value(uint64_t ID = 0) : object(ID), t(ID) {}
			template<typename U>
			value(const U& v, uint64_t ID = 0) : object(ID), t(ID), v(v) {}
			value(const T& v, uint64_t ID = 0) : object(ID), t(ID), v(v) {}
			T& get_value() {
				return v;
			}
			type<T> get_type() const { 
				return t;
			}
		protected:
			T v;
			type<T> t;
	};
}

в exe (другом проекте решения с lib именно) и dll экземпляры, причем в dll эти экземпляры еще не созданы (ну не написал, хочу сначала проверить что структура будет нормальной)

[Павел Соколов]

Ошибка возникает на

utils\include\hash.h(6,1): error C4430: отсутствует спецификатор типа - предполагается int. Примечание. C++ не поддерживает int по умолчанию

. Почему - я не понимаю, потому что все типы на всех этапах определены.

[Евгений Шатунов]

Павел Соколов, вот. И с этим кодом уже все понятно.
Тебе уже ответили и ответ действительно решающий. Но тем не менее.
Смотри на WinAPI. Этот заголовок у тебя подключен через конфигурацию проекта и конфигурацию сборки.
Эти макросы являются частью SAL, а подробности можно почитать тут.

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

Answer 1

[sergio_nsk]

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

`OUT` и `IN` очень общие и любимые литералы в заголовках Windows SDK, вероятно определены как пустые макросы, поменяй имена, например на `T` и `U`, иначе получается

template<typename, typename> constexpr inline
iterable_hash(const* in, size_t in_size, auto iterable_hash_lamda) {
//some code
}

что принимается за очень старый сишный стиль - по умолчанию предполагается, что возвращается и используется `int`, если тип не указан явно.

Comments

[Павел Соколов]

тогда почему в решении, где лежит проект lib такого нет?

[sergio_nsk]

Не знаю, #include <xstring> - вот это не стандартный заголовочный файл, через него что-нибудь добавилось, или через #include <stdint.h>, вместо которого должен быть #include <cstdint>.

Как сложно здесь начинать, где же справка по здешнему редактору.