Почему возникает ошибка C2512 в конструкторе с std::initializer_list?

Question

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

У меня есть 2 структуры, первая - обертка массива, вторая - данные что будут положены в массив.
Конструктор первой с std::initializer_list:

static_array(std::initializer_list<type> il)
requires std::is_copy_constructible_v<type> {
	if (il.size() != N) {
		throw invalid_range();
	}
	pointer iter = begin();
	for (const_type& val : il) {
		place_at(iter, val);
		++iter;
	}
}

Конструкторы второй:

c_function(func* body, const metadata& meta, destructor* args_destructor = nullptr);
c_function(func* body, metadata&& meta, destructor* args_destructor = nullptr);
c_function(const c_function& other) : _meta(other.get_meta()), _body(other.get_body()), _args_destructor(other.get_args_destructor()) {};
c_function(c_function&& other) noexcept;

Почему в записи:

c_function s1(nullptr, {});
c_function s2(nullptr, {});
static_array<c_function, 2> sa = static_array<c_function, 2>{ abc };

У меня возникает ошибка C2512. Я ведь нигде ничего по умолчанию не создаю. Откуда она?
При этом создание просто std::initializer_list с c_function не вызывает никаких ошибок!

std::initializer_list<c_function> abc = { c_function(nullptr, {}) };

Comments

[jcmvbkbc]

Я ведь нигде ничего по умолчанию не создаю.

А begin() внутри тела конструктора куда указывает, если не на сконструированные по умолчанию элементы массива?

[Wataru]

Дайте полный текст ошибки.

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

Павел Соколов , ты настолько умело обрезал код, что сейчас конструктива в вопросе нет абсолютно.
У тебя две структуры? Показывай полностью. У тебя какой-то код не транслируется? Показывай весь блок кода полностью. У тебя транслятор пишет ошибку? Показывай ее полностью, весь вывод ошибки от места начала и до описания ошибки.
Когда у тебя проблема, стесняться и прятать что-либо уже бессмысленно. Тут как у врача, краснеть и мяться уже поздно.

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

Wataru, C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,47): error C2512: dte_token::c_function: нет подходящего конструктора по умолчанию
(компиляция исходного файла "main.cpp")
C:\Users\User\Desktop\DynamicTokenEngine\DTE\TokenOperator\token\c_function.hpp(7,9):
см. объявление "dte_token::c_function"
C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,47):
контекст создания экземпляра шаблона (сначала самый старый)
C:\Users\User\Desktop\DynamicTokenEngine\DTE\DynamicTokenEngine\main.cpp(70,30):
выполняется компиляция ссылки на экземпляр класс шаблон функции "dte_utils::static_array"
C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(30,3):
во время компиляции функции-члена класс шаблон "dte_utils::static_array::static_array(std::initializer_list)"
C:\Users\User\Desktop\DynamicTokenEngine\DTE\DynamicTokenEngine\main.cpp(70,33):
см. первую ссылку на "dte_utils::static_array::static_array" в "main"

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

jcmvbkbc, он указывает на массив: type arr[N];

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

Евгений Шатунов, у меня не транслятор ошибку пишет, а компилятор.

#include <initializer_list>
namespace dte_utils {
	template<typename T, size_t N>
	requires (N > 0)
	struct static_array {
		using type = T;
		using const_type = const type;
		using pointer = type*;
		using const_pointer = const_type*;
		type arr[N];
		static_array() noexcept(std::is_nothrow_default_constructible_v<type>)
		requires std::is_default_constructible_v<type> {
			pointer iter = end();
			while (iter != begin()) {
				place_at(--iter);
			}
		}
		template<typename U>
		requires std::is_constructible_v<type, const U&>
		static_array(const U (&arr)[N]) noexcept(std::is_nothrow_constructible_v<type, const U&>) {
			pointer iter = begin();
			for (const U& val : arr) {
				place_at(iter, val);
				++iter;
			}
		}
		static_array(std::initializer_list<type> il)
		requires std::is_copy_constructible_v<type> {
			if (il.size() != N) {
				throw invalid_range();
			}
			pointer iter = begin();
			for (const_type& val : il) {
				place_at(iter, val);
				++iter;
			}
		}
		static_array(const static_array& other) noexcept(std::is_nothrow_copy_constructible_v<type>)
		requires std::is_copy_constructible_v<type> {
			pointer iter = begin();
			for (const_type& val : other) {
				place_at(iter, val);
				++iter;
			}
		}
		template<typename U>
		requires std::is_constructible_v<type, const U&>
		static_array(const static_array<U, N> other) noexcept(std::is_nothrow_constructible_v<type, const U&>) {
			pointer iter = begin();
			for (const U& val : other) {
				place_at(iter, val);
				++iter;
			}
		}


		pointer begin() noexcept {
			return arr;
		}
		const_pointer begin() const noexcept {
			return arr;
		}
		pointer end() noexcept {
			return arr + N;
		}
		const_pointer end() const noexcept {
			return arr + N;
		}


		static_array& operator=(const static_array& other) noexcept(std::is_nothrow_copy_assignable_v<type>)
		requires std::is_copy_assignable_v<type> {
			if (this == &other) {
				return *this;
			}
			pointer iter = begin();
			for (const_type& val : other) {
				*iter = val;
				++iter;
			}
			return *this;
		}
		template<typename U>
		requires std::is_assignable_v<type, const U&>
		static_array& operator=(const static_array<U, N>& other) noexcept(std::is_nothrow_assignable_v<type, const U&>) {
			if (this == &other) {
				return *this;
			}
			pointer iter = begin();
			for (const U& val : other) {
				*iter = val;
				++iter;
			}
			return *this;
		}
		static_array& operator=(static_array&& other) noexcept
		requires std::is_swappable_v<type> {
			if (this == &other) {
				return *this;
			}
			pointer iter = begin();
			for (type& val : other) {
				std::swap(*iter, val);
				++iter;
			}
			return *this;
		}


		type& operator[](size_t index) {
			if (!(index < N)) {
				throw out_of_range();
			}
			return arr[index];
		}
		const_type& operator[](size_t index) const {
			if (!(index < N)) {
				throw out_of_range();
			}
			return arr[index];
		}
	};
}

namespace dte_token {
	struct data_stack;
	struct c_function {
		struct metadata {
			dte_utils::dynamic_cstring name;
			//max jump index this function can output
			size_t max_jump;
			//size of data type pushed on stack
			//if it is <=sizeof(void*) uses casted void* as data
			size_t data_size_push;
		};
		using func = size_t(data_stack&, const semi_pointer::data&);
		protected:
			metadata _meta;
			func* _body;
			destructor* _args_destructor;
		public:
			c_function(func* body, const metadata& meta, destructor* args_destructor = nullptr);
			c_function(func* body, metadata&& meta, destructor* args_destructor = nullptr);
			c_function(const c_function& other) : _meta(other.get_meta()), _body(other.get_body()), _args_destructor(other.get_args_destructor()) {};
			c_function(c_function&& other) noexcept;
			const metadata& get_meta() const noexcept;
			func* get_body() const noexcept;
			destructor* get_args_destructor() const noexcept;
			c_function& operator=(const c_function&) = delete;
			c_function& operator=(c_function&&) = delete;
			size_t operator()(data_stack& stack, const semi_pointer::data& spd) const;
	};
}

using namespace dte_utils;
using namespace dte_token;
c_function::c_function(func* body, const metadata& meta, destructor* args_destructor) : _body(body), _meta(meta), _args_destructor(args_destructor) {}
c_function::c_function(func* body, metadata&& meta, destructor* args_destructor) : _body(body), _meta(std::move(meta)), _args_destructor(args_destructor) {}
c_function::c_function(c_function&& other) noexcept : _body(other._body), _meta(std::move(other._meta)) {}
const c_function::metadata& c_function::get_meta() const noexcept {
	return _meta;
}
c_function::func* c_function::get_body() const noexcept {
	return _body;
}
destructor* c_function::get_args_destructor() const noexcept {
	return _args_destructor;
}
size_t c_function::operator()(data_stack& stack, const semi_pointer::data& spd) const {
	return _body(stack, spd);
}

[jcmvbkbc]

Я ведь нигде ничего по умолчанию не создаю.

он указывает на массив: type arr[N];

Павел Соколов, я говорю, элементы массива ты конструируешь по умолчанию. А потом перезаписываешь в теле конструктора static_array.

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

jcmvbkbc, тогда как мне создать пространство для массива (не выделяя дин память) и не создавать по умолчанию их? Плюс почему ошибка указывает на конструктор, а не на arr?

[jcmvbkbc]

почему ошибка указывает на конструктор, а не на arr?

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

как мне создать пространство для массива (не выделяя дин память) и не создавать по умолчанию их?

Не вижу, как это можно было бы сделать не прибегая к фокусам типа "зарезервировать память правильно выровненным массивом байтов и реализовать конструкторы/деструкторы используя placement new/явные вызовы деструкторов элементов массива", но я уже не настоящий С++-сварщик. Посмотрим, что ещё предложат.

Answer 1

[Wataru]

У вас конструктор не передает initializer_list в поле arr[N], а сначала конструирует массив по умолчанию, а потом туда копирует ручками значения из initializer_list. Перед выполнением тела конструктора вся память должна быть выделена и все не иницилизированные явно поля инициализируются по умолчанию.

В качестве решения можно весь ваш ручной код выкинуть и передать список в конструктор arr:

static_array(std::initializer_list<type> il)
		requires std::is_copy_constructible_v<type> : 
        arr(std::forward(il)) {}

Если хотите проверить длину списка, можно это все еще сделать потом в теле конструктора.
Аналогично в остальных случаях.

Но вообще, можно не расписывать разные конструкторы, а сделать только один static_array(T&& init), где этот init и передавать в конструктор arr.

Если вы так хотите руками данные копировать через ваш place_at, то вам надо ваш array сделать типа char или uint8_t, выровнять и задать нужный размер через sizeof(type). Простой случай показан тут.

А вообще, чем вам std::array не нравится?

Comments

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

В случае

static_array(std::initializer_list<type> il)
requires std::is_copy_constructible_v<type>  : arr(std::forward<std::initializer_list<type>>(il))

возникает ошибка:
1>C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,95): error C2440: инициализация: невозможно преобразовать "_Ty" в "char"
1>C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,95): error C2440: with
1>C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,95): error C2440: [
1>C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,95): error C2440: _Ty=std::initializer_list
1>C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,95): error C2440: ]
1>(компиляция исходного файла "module/version.cpp")
1> C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,95):
1> Для выполнения данного преобразования нет доступного оператора преобразования, определенного пользователем, или вызов оператора невозможен
1> C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(31,95):
1> контекст создания экземпляра шаблона (сначала самый старый)
1> C:\Users\User\Desktop\DynamicTokenEngine\DTE\TokenOperator\module\version.hpp(6,37):
1> выполняется компиляция ссылки на экземпляр класс шаблон функции "dte_utils::static_array"
1> C:\Users\User\Desktop\DynamicTokenEngine\DTE\Utility\memory\static_array.hpp(30,3):
1> во время компиляции функции-члена класс шаблон "dte_utils::static_array::static_array(std::initializer_list)"
1> C:\Users\User\Desktop\DynamicTokenEngine\DTE\TokenOperator\module\version.cpp(4,73):
1> см. первую ссылку на "dte_utils::static_array::static_array" в "dte_module::version::version"
То есть в static_array, как я понимаю" проблема преобразования std::initializer_list в char, плюс в комментарии под вопросом я дал полный код структуры, я надеюсь, он понятен
Вариант с char, мне нужно делать его alignas?

[Wataru]

Павел Соколов, Я вам привел два альтернативных решения. Вы или инициализируете arr в конструкторе, или заводите его как char и руками копируете значения всех элеметов списка инициализации (не забудьте правильно высчитать адрес каждого элемента через sizeof).

Вы же оба этих решения смешали и да, это не работает.

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

Wataru, я удалил place_at, вписал код комментом выше и это не решило проблему первым способом

[Wataru]

Павел Соколов, Какого типа у вас arr? Откуда компилятор взял char?

[Wataru]

Павел Соколов, еще раз, если вы используете :arr() в конструкторе вместо place_at, то arr должен быть объявлен: type arr[N];.

Или, другое решение, оставляйте ваш код с place_at, но делайте arr типа char.

Одно из двух.

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

Wataru, приведу на всякий случай структуру целиком:

template<typename T, size_t N>
requires (N > 0)
struct static_array {
	using type = T;
	using const_type = const type;
	using pointer = type*;
	using const_pointer = const_type*;
	type arr[N];
	static_array() noexcept(std::is_nothrow_default_constructible_v<type>)
	requires std::is_default_constructible_v<type> {

	}

	static_array(std::initializer_list<type> il)
	requires std::is_copy_constructible_v<type> : arr(std::forward<std::initializer_list<type>>(il)) {
		if (il.size() != N) {
			throw invalid_range();
		}
	}
	static_array(const static_array& other) noexcept(std::is_nothrow_copy_constructible_v<type>)
	requires std::is_copy_constructible_v<type> : arr(other.arr) {

	}
	


	pointer begin() noexcept {
		return arr;
	}
	const_pointer begin() const noexcept {
		return arr;
	}
	pointer end() noexcept {
		return arr + N;
	}
	const_pointer end() const noexcept {
		return arr + N;
	}


	static_array& operator=(const static_array& other) noexcept(std::is_nothrow_copy_assignable_v<type>)
	requires std::is_copy_assignable_v<type> {
		if (this == &other) {
			return *this;
		}
		pointer iter = begin();
		for (const_type& val : other) {
			*iter = val;
			++iter;
		}
		return *this;
	}
	template<typename U>
	requires std::is_assignable_v<type, const U&>
	static_array& operator=(const static_array<U, N>& other) noexcept(std::is_nothrow_assignable_v<type, const U&>) {
		if (this == &other) {
			return *this;
		}
		pointer iter = begin();
		for (const U& val : other) {
			*iter = val;
			++iter;
		}
		return *this;
	}
	static_array& operator=(static_array&& other) noexcept
	requires std::is_swappable_v<type> {
		if (this == &other) {
			return *this;
		}
		pointer iter = begin();
		for (type& val : other) {
			std::swap(*iter, val);
			++iter;
		}
		return *this;
	}


	type& operator[](size_t index) {
		if (!(index < N)) {
			throw out_of_range();
		}
		return arr[index];
	}
	const_type& operator[](size_t index) const {
		if (!(index < N)) {
			throw out_of_range();
		}
		return arr[index];
	}
};

использую я ее в другом месте version структуре, где она static_array, а именно:

version(dte_utils::static_array<char, 4> value = {0,0,0,0});

возникает та ошибка, где init list нельзя конвертировать в char
все-таки без костылей с char[] хочется

[Wataru]

Павел Соколов,
Вот так работает

template <typename T, int N>
class Test {
public:
   template <typename... I>
    Test(I... ts) : arr{ts...} {}
    void Print() {
        for (int i = 0; i < N; ++i) std::cout << arr[i] << " ";
    }
private:
T arr[N];
};

//Test<int, 3> a{1,2,3};

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

Wataru, а без вариадического шаблона нельзя? То есть отказаться от std::initializer_list?