21 lines
1.0 KiB
Markdown
21 lines
1.0 KiB
Markdown
[concept.constructible]
|
||
|
||
# 18 Concepts library [[concepts]](./#concepts)
|
||
|
||
## 18.4 Language-related concepts [[concepts.lang]](concepts.lang#concept.constructible)
|
||
|
||
### 18.4.11 Concept constructible_from [concept.constructible]
|
||
|
||
[1](#1)
|
||
|
||
[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/concepts.tex#L758)
|
||
|
||
The [constructible_from](#concept:constructible_from "18.4.11 Concept constructible_from [concept.constructible]") concept constrains the initialization of a
|
||
variable of a given type with a particular set of argument types[.](#1.sentence-1)
|
||
|
||
[ð](#concept:constructible_from)
|
||
|
||
`template<class T, class... Args>
|
||
concept [constructible_from](#concept:constructible_from "18.4.11 Concept constructible_from [concept.constructible]") = [destructible](concept.destructible#concept:destructible "18.4.10 Concept destructible [concept.destructible]")<T> && [is_constructible_v](meta.type.synop#lib:is_constructible_v "21.3.3 Header <type_traits> synopsis [meta.type.synop]")<T, Args...>;
|
||
`
|