- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我正在尝试使用新的 c++17 类模板推导,在我应用 const 之前它似乎一切正常。这是我面临的麻烦的一个小例子:
#include <type_traits>
template <typename T>
struct X
{
T _data;
X(void) = default;
X(T && data) : _data{ data } {}
constexpr bool const_x(void) { return false; }
constexpr bool const_x(void) const { return true; }
};
template <typename T>
X(T &&) -> X<std::remove_reference_t<T>>;
int main(void)
{
X<int> a;
const X<int> b{};
X c{ 10 };
const X d{ 10 };
static_assert(!a.const_x());
static_assert(b.const_x());
static_assert(!c.const_x());
static_assert(d.const_x()); // assert fails
}
似乎当一个 const X 推导它的类型时,const-ness 并没有被贯彻。我知道这是可能的:
template <typename T>
X(T &&) -> const X<std::remove_reference_t<X>>;
但这会使每个推导类型都为 const X。
如果有人有任何信息或帮助,将不胜感激!
编辑我正在使用 GCC-7.1.0
最佳答案
这是一个编译器错误 - 特别是 gcc bug 80990 .这里有两个独立的部分 - 推论和 const
.声明:
const X d{ 10 };
将首先执行类模板参数推导来选择哪个X
特化d
是(所以 X<int>
由于推导指南),然后是 const
在其之上添加(所以 X<int> const
)。
另请注意:
template <typename T>
X(T &&) -> const X<std::remove_reference_t<X>>;
格式错误。你不能在那里使用 cv-qualifiers。
关于C++17类模板推导const-ness,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45292228/
我正在尝试使用新的 c++17 类模板推导,在我应用 const 之前它似乎一切正常。这是我面临的麻烦的一个小例子: #include template struct X { T _dat
我正在使用整洁的 fmt 库,在其版本 8 中,如果编译器支持相关功能,则会对其格式字符串进行编译时检查。 在某个时候,我想编写以下代码: throw my_exception("error: {}"
我有一些实现图形算法的代码;特别是,有这些片段会导致问题: class Path{ private: const Graph* graph; public: Path(Graph* g
void foo (void *p); // library function; can't edit template void Remove (T *p) { // main code f
class Foo{}; class BarParent { Foo* p_foo; public: BarParent(Foo * const p_x) //OR BarPa
考虑以下 C++ 代码: typedef std::string& mutable_string_ref; const std::string str = "abc"; mutable_string_
我正在尝试从变量 (char*) 中移除常量特性,但出于某种原因,当我尝试更改值时,常量变量的原始值仍然保持不变。 const char* str1 = "david"; char* str2 =
我正在运行目标:tomcat:deploy。没有错误,但它没有将我的项目部署到 tomcat 中。我注意到这条消息: [INFO] Skipping non-war project 什么定义了我的项目
出于各种原因,我正在寻找一种方法来捕获传递给函数的参数的constexpr-ness。解释起来有点棘手,所以我认为代码最能展示我想要实现的目标 #include // For std::size_t
如果我创建了一个 C 模块,它向用户提供一个指向前向声明结构的句柄,如下所示: typedef struct FOO_Obj *FOO_Handle; 如果我然后声明将其用作 const 限定参数的函
我有两个结构: // ----- non-const ----- struct arg_adapter { EArgType type; // fmtA, fmtB, ...
为什么 width 在第一次实例化后不保持其 constness? template class ProjectionTest { std::array _arr; public: P
给定: template inline bool f( T n ) { return n >= 0 && n = 0 is always true 当 T 是 unsigned 类型时,有什么聪明
在最坏的情况下,从已知列表创建二叉树的时间复杂度为 O(n2),但平均情况为 O(n logn)。最坏情况和平均情况之间的差异取决于树在创建后的不平衡程度。如果 maxDepth == n,那么这是最
我有一个对象,在最基本的层面上看起来像这样: #include class x_link { public: x_link() { d
我偶然发现了一些看似正确的代码。它应该提供一个公共(public)的、不可变的指针,同时将可修改的非常量指针保持私有(private)。 奇怪的是,这段代码在 SN C++ 编译器(适用于 PlayS
This page说make_optional C++17 中的函数返回 constexpr optional .我认为(虽然我可能是错的)这需要 optional有一个 constexpr复制或移动
我已经编写了以下代码来测试跨函数调用的 noexcept 传播,它似乎并没有像我想象的那样工作。在 GCC 4.7.2 中,可以有效地测试函数是否为 noexcept 仅直接或作为模板特化参数传递时;
最近,我一直在养成一种习惯,将我的代码中的许多东西作为const: (1) 函数参数,我知道永远不会改变。例如: void foo (const int i, const string s)
我有一个关于 POD-ness 的问题。我预计如果 B 是非 POD 而 B 是 A 的成员,那么 A 也是非 POD。但是,以下代码示例输出“10”,因此 B 被正确地视为非 POD,但 A 是。
我是一名优秀的程序员,十分优秀!