小编use*_*570的帖子

std::type_identity可用于提供不可推论的上下文。所以，我想知道它是否适用于推导的可变参数列表。但不同的编译器给出不同的结果。
https://godbolt.org/z/4cfqbxdeo

#include <type_traits>
 
struct in_between{};

template <typename... T>
struct args_tag
{
    using type = std::common_type_t<T...>;
};

template <typename... T>
void bar(args_tag<T...>, std::type_identity_t<T>..., int, std::type_identity_t<T>...) {}

template <typename... T>
void bar(args_tag<T...>, std::type_identity_t<T>..., in_between, std::type_identity_t<T>...) {}

// example
int main() {
    bar(args_tag<int, int>{}, 4, 8, 15, 16, 23);
    bar(args_tag<int, int>{}, 4, 8, in_between{}, 16, 23);
}

第一个使用 gcc 和 msvc 编译。

bar(args_tag<int, int>{}, 4, 8, 15, 16, 23);

第二个只能用 msvc 编译。

bar(args_tag<int, int>{}, 4, 8, in_between{}, 16, 23);

根据标准，行为应该是什么？

我知道这是未定义的行为（这里已经有其他问题在谈论这种情况）：

int const i = 0;
int const& j = i;
const_cast<int&>(j) = 8;

不过，我想这不是吧？

int i = 0;
int const& j = i;
const_cast<int&>(j) = 8;

如果我没记错的话，UB 只修改const对象，而不管您用来引用它的引用的限定符如何。因此，删除对最初不是 const 的对象的引用的 const 限定符，然后写入它就可以了，对吗？

我在 clang 上遇到编译错误，并使用以下代码对 gcc 发出警告：

static alignas(16) int one_s = 1;                      // clang: error: an attribute list cannot appear here; gcc: warning: attribute ignored;
static __attribute__((aligned(16))) int zero_s = 0;    // on the other hand this works well on both compilers...
alignas(16) int one = 1;                               // this also works on both compilers
__attribute__((aligned(16))) int zero = 0;             // as well as this

有谁知道为什么在包含 static 关键字的声明中不接受alignas？我将 --std=c++11 编译器选项与 gcc 和 clang 一起使用。（编辑：我使用 clang 3.4 及更高版本和 gcc 4.8 及更高版本）

请注意，使用 Visual …

创建库时，显式模板实例化非常有用。假设我有一个带有 int 参数的模板：

template <int i> struct S { ... };

要执行显式模板实例化，语法类似于

template struct S<1>;

但是，我只能以这种方式使用一行实例化一个实例。我想做的是以一种优雅的方式定义一系列模板。例如，考虑无法编译的错误代码：

#define MIN_I 1
#define MAX_I 16
for (int i = MIN_I; i <= MAX_I; i++) // i should be a constant
    template struct S<i>;

这样，当MAX_I改变时，修改就非常简单了。我能实现这个目标吗？如果可能的话，有没有一种简单的方法可以做到这一点？谢谢你！

此外，这个问题可以推广到更一般的环境。例如，我可以采用 1,2,4,8,16,32,64,128,256 或一些预定义的序列。

我创建模板库的原因不好说。简而言之，我将创建一个在GPU上运行的CUDA库（由nvcc编译器编译），并由gcc编译的标准c++程序调用。

void我正在学习 C++ 中的模板，并遇到了一个使用强制转换的示例：

template<typename T>
auto func (T const& t) -> decltype( (void)(t.size()), T::size_type() )
{
return t.size();

}

解释中写道：

将表达式强制转换为 void 是为了避免用户定义的逗号运算符针对表达式类型重载的可能性。

我的问题是：

1. 如何使用强制转换为 void 来“避免用户定义的逗号运算符重载表达式类型的可能性”？我的意思是，任何人都可以举出任何例子，如果我们不使用void此代码会给出错误吗？例如，假设我们有一个名为 的类SomeClass，它重载了逗号运算符。现在，如果我们不使用，这会成为问题吗void？

2. static_cast在这种情况下可以使用 C 风格的强制转换吗？例如，类似的东西static_cast<void>(t.size())。我正在阅读使用 C++17 功能的示例，因此我想知道为什么作者在这种情况下使用了 C 风格转换。

我读过强制转换为“void”到底有什么作用？，从中我得到的印象是，如果我们使用(void)xthen 这意味着抑制编译器警告，并且还意味着“忽略 x 的值”。但后来我无法理解表达式x和之间的区别(void)x。

我读到我们不应该返回局部变量的指针或引用。因此，在下面给出的示例中，我知道当我编写：return i;inside function时foo，我返回对局部变量的引用。在函数外部使用该引用将导致未定义的行为。

#include <iostream>

const int& foo()
{
    int i = 5;
    return i;//returning reference to a local variable
}

const int& func()
{
    return 5;
}

int main()
{
    const int& ref = func();
    const int& f = foo();
    std::cout<<f<<std::endl; //I know this is undefined behavior because we're using a reference that points to a local variable 
    std::cout<<ref; //But IS THIS UNDEFINED BEHAVIOR too?
}

return 5;我的问题是，对于function 内部的return 语句是否同样适用func。我知道在 C++17 中存在强制复制 …

我最近了解到，构造函数在 C++ 中没有名称以及有关它们的其他一些信息。我还知道函数在 C++ 中有一种称为函数类型的类型。例如，

void func(int)
{
}

在上面的代码片段中， 的函数类型func为。 void (int)

struct Name
{ 
    Name(int)
    {
    }
};