- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
我容器的一个构造函数默认构造一个分配器作为默认参数值:
template<class T, class Allocator>
struct my_container
{
my_container(int n, Allocator alloc = Allocator()) {}
};
据推测,只有当 Allocator
可以默认构造时,此构造函数才会启用。
我想用 std::is_constructible
测试此构造函数是否可以与不是默认可构造的分配器一起使用:
template<class T>
struct my_not_default_constructible_allocator
{
// no default ctor
my_not_default_constructible_allocator(int) {}
};
但是,当我应用 std::is_constructible
时,我得到一个编译时错误,而不是 false
,这正是我所期望的:
#include <type_traits>
template<class T, class Allocator>
struct my_container
{
my_container(int n, Allocator alloc = Allocator()) {}
};
template<class T>
struct my_not_default_constructible_allocator
{
// no default ctor
my_not_default_constructible_allocator(int) {}
};
int main()
{
bool result = std::is_constructible<my_container<int, my_not_default_constructible_allocator<int>>, int>::value;
return 0;
}
编译器输出:
$ clang -std=c++14 repro.cpp
repro.cpp:6:41: error: no matching constructor for initialization of 'my_not_default_constructible_allocator<int>'
my_container(int n, Allocator alloc = Allocator()) {}
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:976:24: note: in instantiation of default function argument expression for
'my_container<int, my_not_default_constructible_allocator<int> >' required here
= decltype(::new _Tp(declval<_Arg>()))>
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:977:24: note: in instantiation of default argument for '__test<my_container<int,
my_not_default_constructible_allocator<int> >, int>' required here
static true_type __test(int);
^~~~~~~~~~~
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:987:24: note: while substituting deduced template arguments into function template '__test' [with _Tp =
my_container<int, my_not_default_constructible_allocator<int> >, _Arg = int, $2 = (no value)]
typedef decltype(__test<_Tp, _Arg>(0)) type;
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:144:14: note: in instantiation of template class 'std::__is_direct_constructible_impl<my_container<int,
my_not_default_constructible_allocator<int> >, int>' requested here
: public conditional<_B1::value, _B2, _B1>::type
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:992:14: note: in instantiation of template class 'std::__and_<std::is_destructible<my_container<int,
my_not_default_constructible_allocator<int> > >, std::__is_direct_constructible_impl<my_container<int, my_not_default_constructible_allocator<int> >, int> >' requested here
: public __and_<is_destructible<_Tp>,
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:1074:14: note: in instantiation of template class 'std::__is_direct_constructible_new_safe<my_container<int,
my_not_default_constructible_allocator<int> >, int>' requested here
: public conditional<is_reference<_Tp>::value,
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:1082:14: note: in instantiation of template class 'std::__is_direct_constructible_new<my_container<int,
my_not_default_constructible_allocator<int> >, int>' requested here
: public __is_direct_constructible_new<_Tp, _Arg>::type
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:1122:14: note: in instantiation of template class 'std::__is_direct_constructible<my_container<int,
my_not_default_constructible_allocator<int> >, int>' requested here
: public __is_direct_constructible<_Tp, _Arg>
^
/usr/bin/../lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/type_traits:1133:14: note: in instantiation of template class 'std::__is_constructible_impl<my_container<int,
my_not_default_constructible_allocator<int> >, int>' requested here
: public __is_constructible_impl<_Tp, _Args...>::type
^
<snip>
编译器详细信息:
$ clang --version
clang version 4.0.1-6 (tags/RELEASE_401/final)
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
std::is_constructible
的实现会导致错误,而不是 SFINAE 移除感兴趣的构造函数。
my_container
的构造函数的实现是否有误?
最佳答案
默认参数初始化似乎在 my_container
初始化的直接上下文中, [meta.unary_prop]/8 :
The predicate condition for a template specialization
is_constructible<T, Args...>
shall be satisfied if and only if the following variable definition would be well-formed for some invented variable t:
T t(declval<Args>()...);
[ Note: These tokens are never interpreted as a function declaration. — end note ] Access checking is performed as if in a context unrelated to T and any of the Args. Only the validity of the immediate context of the variable initialization is considered. [ Note: The evaluation of the initialization can result in side effects such as the instantiation of class template specializations and function template specializations, the generation of implicitly-defined functions, and so on. Such side effects are not in the “immediate context” and can result in the program being ill-formed. — end note ]
根据 [expr.call]/7:
The initialization and destruction of each parameter occurs within the context of the calling function.
因此可以推断默认参数初始化发生在“直接上下文”中。我的意见是这不是很清楚,术语直接上下文没有正式定义。
另一方面,Clang 还认为默认函数参数初始化发生在初始化表达式的直接上下文中。例如,此代码使用 Clang 编译:
template<class T,class =void>
struct constructible:std::false_type{};
template<class T>
struct constructible<T,std::void_t<decltype(T{std::declval<int>()})>>:std::true_type{};
int main()
{
static_assert(!constructible<my_container<int, my_not_default_constructible_allocator<int>>, int>::value);
return 0;
}
因此我们可以安全地假设这是一个 Clang 错误。
关于c++ - 为什么不使用 std::is_constructible 编译?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54099360/
是否有任何库或框架旨在促进从另一种成熟的编程语言中构建项目? 在 C++、java 等编程语言中指定逻辑、集合和复杂规则非常容易,但在 Makefile 中完成这些事情似乎是一场艰苦的战斗。我还没有深
我有这段代码可以用 clang 编译得很好(即使使用 -Weverything),但是 gcc 会发出错误。 #include #include #include using namespace
我有以下 block 头文件 BKE_mesh.h: /* Connectivity data */ typedef struct IndexNode { struct IndexNode *
我在我的一个项目中遇到了一个奇怪的问题。我的代码库依赖于一个外部库,其中包含一个名为 Dataset 的类. Dataset类私有(private)继承自 std::vector (其中 Sample
当使用 gcc、g++ 或 make 在终端中编译一个小型 C 或 C++ 项目时,我收到以下错误: /tmp/ccG1caGi.o: In function `main': main.c:(.tex
我正在尝试从 CVS 为 Windows 上的 Emacs 23.1.50 编译 CEDET,但在“第 6 步:打开 EDE...”时出现错误:“defvar:作为变量的符号值是无效的:cedet-m
我正在(重新)学习编程,我从 C 开始。我的 IDE(如果我可以这么说)是 Windows7 上的 cygwin(32 位)和 Visual-Studio 2010。我总是编译我用 gcc (cygw
我喜欢在模板类中使用本地类来执行类似“static if”的构造。但是我遇到了 gcc 4.8 不想编译我的代码的问题。但是 4.7 可以。 这个例子: #include #include #in
我有一个项目,必须仅使用 java 1.4 进行编译。但我计划使用mockito 编写一些单元测试。我想要一种在 pom 中指定的方法,以便 src/main/java 使用 jdk 1.4 编译,但
我想了解 PHP 编译过程是如何工作的。 假设我有一个名为funcs.php 的文件并且这个文件有三个函数,如果我include 或require 它,所有的在文件加载期间编译三个函数?或者源代码会被
编译工具链 我们写程序的时候用的都是集成开发环境 (IDE: Integrated Development Environment),集成开发环境可以极大地方便我们程序员编写程序,但是配置起来
当我编写一些 Scala 代码时,在尝试编译代码时收到一条奇怪的错误消息。我将代码分解为一个更简单的代码(从语义的角度来看这完全没有意义,但仍然显示了错误)。 scala> :paste // Ent
我正在编译一个 SCSS 文件,它似乎删除了我的评论。我可以使用什么命令来保留所有评论? >SASS input.scss output.css 我在 SCSS 中看到两种类型的注释。 // Comm
这是我的代码: #include typedef struct { const char *description; float value; int age; } swag
当您编译 grails war 时,我知道 .groovy 代码被编译为字节码类文件,但我不明白容器(例如 tomcat)如何在请求 GSP 时知道如何编译它们。容器了解 GSP 吗?安装在服务器上的
我正在努力将多个文件编译成一个通用程序。我收到一个错误: undefined reference to 'pi' 这是我的代码和 Makefile 的框架。我做错了什么?谢谢! 文件:calcPi.c
我尝试使用 LD_PRELOAD 来 Hook sprintf function ,所以我将打印到缓冲区的结果: #define _GNU_SOURCE #include #include int
我正在寻找最简单的方法来自动将 CoffeeScript 重新编译为 JS。 阅读documentation但仍然很难得到我想要的东西。 我需要它来监视文件夹 src/ 中的任何 *.coffee 文
我想使用定制waveformjs 。我发现this on SO但是,我不知道如何编译/安装波形来开始。我从 GitHub 克隆它并进行了更改,但是我不知道如何将其转换为 .js 文件。 最佳答案 为了
很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它,visit the help center 。 已关
我是一名优秀的程序员,十分优秀!