相关疑难解决方法(0)

作为免责声明,我在询问之前已对此进行过研究.我发现了一个类似的问题,但答案有点"稻草人",并没有真正回答我个人的问题.我也提到了我方便的cppreference页面,但这并没有提供对事物的非常"愚蠢"的解释.

基本上我还在继续constexpr,但目前我的理解是它需要在编译时评估表达式.由于它们可能仅在编译时存在,因此它们在运行时不会真正具有内存地址.因此,当我看到人们使用时static constexpr(例如在类中)static会让我感到困惑...... 因为这只对运行时上下文有用,所以在这里会是多余的.

我在" constexpr除了编译时表达式之外不允许任何东西"声明中看到了矛盾(特别是在SO).但是,Bjarne Stroustrup的页面中的一篇文章在各种示例中解释了实际上constexpr 确实需要在编译时对表达式进行评估.如果不是,则应生成编译器错误.

我之前的段落似乎有点偏离主题,但它是理解为什么static可以或应该使用的必要基线constexpr.不幸的是,该基线有很多矛盾的信息浮出水面.

任何人都可以帮助我将所有这些信息整合到纯粹的事实中,并提供有意义的示例和概念吗？基本上在了解constexpr真实行为的基础上,您为什么要使用static它？通过什么范围/场景确实static constexpr有意义,如果它们可以一起使用？

在C++中声明和定义全局常量的最佳方法是什么？我最感兴趣的是C++ 11标准,因为它在这方面做了很多修复.

[编辑(澄清)]:在这个问题中,"全局常量"表示在编译时在任何范围内已知的常量变量或函数.必须可以从多个翻译单元访问全局常量.它不一定是constexpr风格不变-可以是这样const std::map<int, std::string> m = { { 1, "U" }, { 5, "V" } };或const std::map<int, std::string> * mAddr() { return & m; }.在这个问题中,我没有触及优选的好的范围或常数名称.让我们把这些问题留给另一个问题.[END_EDIT]

我想知道所有不同情况的答案,所以让我们假设这T是以下之一:

typedef    int                     T;  // 1
typedef    long double             T;  // 2
typedef    std::array<char, 1>     T;  // 3
typedef    std::array<long, 1000>  T;  // 4
typedef    std::string             T;  // 5
typedef    QString                 T;  // 6
class      T {
   // unspecified amount of code
};                                     // 7
// …

我对一个constexpr概念感到困惑,因为我读过的constexpr是在编译时进行评估,因此它对于性能优化与正常情况相比非常有用const.

constexpr int i = 0;
constexpr int& ri = i;

上面的代码返回一个错误"从'const int'类型的表达式中无效初始化类型'int&'的引用",为什么？

此外,下一个代码有一个错误:

constexpr int i = 0;
constexpr int* ri = &i;

如果我替换了constexpr关键字const,以上所有都正常工作.

此 C++ 代码无法编译：

#include <iostream>

int main()
{
    constexpr int kInt = 123;
    struct LocalClass {
        void func(){
            const int b = std::max(kInt, 12); 
            //                     ^~~~  
            // error: use of local variable with automatic storage from containing function
            std::cout << b;
        }
    };
    LocalClass a;
    a.func();
    return 0;
}

但这有效：

#include <iostream>
#include <vector>

int main()
{
    constexpr int kInt = 123;
    struct LocalClass {
        void func(){
            const int b = std::max((int)kInt, 12); // added an extra conversion "(int)"
            std::cout …

为什么下面的工作原理gcc却没有clang,(现场观看):

constexpr int giveMeValue() { return 42; }

struct TryMe {
  static constexpr int arr[1] = {
      giveMeValue()
  };  
};

int main() {
    int val = TryMe::arr[0];
    return val;
}

我得到一个未解决的外部符号与clang.

是TryMe::arr[0]一个对象？如果是的话,它是否经常使用？

我知道const和constexpr之间的区别.一个是编译时常量,另一个是编译时或运行时常量.

但是,对于字符/字符串数组,我很困惑为什么编译器抱怨一个用于另一个.

例如,我有:

constexpr char* A[2] = {"....", "....."};

const constexpr char* B[2] = {"....", "....."};

声明"A"我得到:

ISO C++ forbids converting a string constant to 'char*' [-Wwrite-strings]

但声明"B"我没有得到任何警告.

为什么额外的const限定符会消除警告？他们两个都不是"const char*"吗？我问,因为两者都被声明,默认情况下constexpr应该使它成为一个const char*？

我希望A没问题:S

我一直在读一本关于C++ 14/11的书.我刚刚读完了关于该constexpr关键字的章节.我知道它用于什么,但我应该多久使用一次constexpr？即使在我知道永远不会用于创建contstexpr对象的类的代码中,我是否应该使用它？(以防万一,因为它不会让我付出任何代价,对吧？)

尽管阅读了一些 StackOverflow 帖子（this和this）和 cppreference 页面，但我无法弄清楚非静态局部变量与非静态局部变量 相比有何constexpr好处。 static constexpr