edrezen's questions

我有一个旧的 Vaadin14 项目，以前使用 java 1.8。

我已经升级了我的 Linux 发行版，现在已升级到 Java 版本 21。

现在的问题是，当我尝试构建项目（使用mvn package -Pproduction）时，出现以下错误：

[ERROR] Failed to execute goal com.vaadin:vaadin-maven-plugin:14.9.5:build-frontend (default) on project org-cubr-ui-vaadin: Execution default of goal com.vaadin:vaadin-maven-plugin:14.9.5:build-frontend failed: Unsupported class file major version 65 -> [Help 1]

因此我安装了 java 1.8 并将其设为默认版本，update-alternatives --config java但在构建项目时仍然出现同样的错误。

问题 1：为什么 maven 不使用配置的 java 版本update-alternatives？我是否需要在pom.xml文件中修改某些内容？

问题 2：是否有可能在最近的 distrib 上构建 Vaadin14/maven 项目（我的意思是使用最近的 java 版本）？

更新：当使用选项启动maven时-X，我一开始就看到使用了java 21。

这篇文章讨论了一种计算班级成员数量的方法：

struct UniversalType { template<typename T> operator T();  };

template<typename T, typename... A0>
consteval auto MemberCounter(auto ...c0) 
{
    if constexpr (requires { T{ {A0{}}..., {UniversalType{}}, c0... }; } == false
               && requires { T{ {A0{}}..., c0..., UniversalType{}   }; } == false )
   {
        return sizeof...(A0) + sizeof...(c0);
    }
    else if constexpr (requires { T{ {A0{}}..., {UniversalType{}}, c0... }; })
    {
        return MemberCounter<T,A0...,UniversalType>(c0...);
    }
    else
    {
        return MemberCounter<T,A0...>(c0...,UniversalType{});
    }
}

using TestType = struct { int x[3]; float y; char z; };
static_assert (MemberCounter<TestType>() == 3);

int main() {}

特别是，以下两个requires子句让我有点困惑，因为它们混合了单括号和双括号：

1. requires { T{ {A0{}}..., {UniversalType{}}, c0... }; }
2. requires { T{ {A0{}}..., c0..., UniversalType{} }; }

问题：他们到底允许匹配什么样的物品？

我想设置一个编译选项-DVAR=xxx。我知道我可以用它来实现这一点，target_compile_options但我的问题是该值xxx必须动态生成，并且只能作为 txt 文件的内容使用。

这是我的尝试：

1. 创建一个自定义命令来生成包含要使用的值的文件
2. 创建一个允许构建var.txt文件的自定义目标
3. 创建依赖项以确保var.txt在编译之前生成MyExe

但我不知道如何从文件中检索所需的值并在target_compile_options.

cmake_minimum_required(VERSION 3.13)

project ("MyProject")

add_custom_command (
  OUTPUT  var.txt
  COMMAND echo "123" > var.txt      # just an example here, the real generation is more complex
  COMMENT "Generate variable value"
)

add_executable         (MyExe main.cpp)
target_compile_options (MyExe PUBLIC -DVAR=???)  # how to get the content of "var.txt" for setting VAR ?

add_custom_target (var   ALL DEPENDS var.txt)
add_dependencies  (MyExe  var)

是否可以target_compile_options使用从生成的文件中检索到的值？

考虑以下VALUE定义的编译时间常数

struct foo  {  uint32_t a;  };

static constexpr int VALUE = sizeof(foo);

请注意，此处计算值的方式并不重要。

我想检索编译结果本身的值（示例中为 4） ；换句话说，我不想构建一个二进制文件并启动它以获得这个值。

我知道该选项-E允许在预处理后停止，但现阶段该值尚不清楚。也许存在一些编译器选项可以允许这样做，但我不知道。

我能想到的唯一方法是放置一个static_assert(VALUE==-1)会导致错误的值，并希望错误消息能够保存该值；似乎gcc可以做到这一点，但不能clang。

是否有更好的方法并且不依赖于编译器来获取编译本身的常量值？

我定义了以下模板结构：

template<typename T>  struct somestruct {}; 

现在有以下专业：

template<typename T> struct somestruct <std::vector<T>>                {};  // OK
template<typename T> struct somestruct <decltype(std::vector<T>  {})>  {};  // KO

但是，最后一个专业化不会编译并出现以下错误（请参阅此处）：

error: template parameters not deducible in partial specialization:

天真地，我会说这两个专业并没有那么不同，就像下面这样：

template<typename T> void test ()  
{ 
    static_assert (std::is_same_v<std::vector<T>, decltype(std::vector<T>{})> );
}

问题：导致编译器第二个专业化失败的技术原因是什么？有没有办法解决它（我的意思是我的代码，而不是编译器）？

有一篇旧帖子似乎很相似，但也许 things/compiler/c++ 可能已经改变。

通过模板专门化，可以编写采用类型列表的特征，对返回布尔值的每个类型应用转换，然后对and所有转换结果计算最终表达式：

#include <type_traits>

template<template<typename> class TRANSFO, typename ...ARGS>
struct Eval {};

template<template<typename> class TRANSFO, typename T, typename ...ARGS>
struct Eval<TRANSFO, T, ARGS...>
{
    static constexpr bool value = TRANSFO<T>::value and Eval<TRANSFO,ARGS...>::value;
};

template<template<typename> class TRANSFO>
struct Eval<TRANSFO>
{
    static constexpr bool value = true;
};

int main()
{
    static_assert (Eval<std::is_integral,int,long>::value == true);
    static_assert (Eval<std::is_integral,int,float,long>::value == false);
    static_assert (Eval<std::is_integral,float>::value == false);
}

疑问已经std有这样的事情了吗？或者是否可以用 中存在的特征来编写它std？

在下面的代码中，我尝试使用v1由类型引用组成的向量和v2由类型引用组成的向量：

#include <string>
#include <vector>

int main (int argc, char* argv[])
{
   std::string  object ("foobar");
   std::string& refobj = object;

   std::vector<std::reference_wrapper<decltype(object)>> v1;

   // The following line doesn't compile => error: forming pointer to reference type ‘std::__cxx11::basic_string<char>&
   std::vector<std::reference_wrapper<decltype(refobj)>> v2;
   
   std::vector<std::reference_wrapper<std::remove_reference_t<decltype(refobj)>>> v3;
}

正如预期的那样，代码编译用于v1但不编译v2，恕我直言，这应该没问题；在这种情况下，引用包装器不应该执行任何操作，因为提供的类型已经是引用。

请注意，我可以用矢量实现我想要的，v3但代码似乎有点麻烦。

问题：为什么编译器在编译时不高兴v2？换句话说，为什么我应该先删除类型引用，然后再添加类型引用reference_wrapper？

我有一个Foo定义内部 struct 的模板结构Bar。

现在，我想重载operator <<此内部 struct 的流Bar，但编译器似乎忽略了我的重载实现：

错误：与 'operator<<' 不匹配（操作数类型为 'std::ostream' {aka 'std::basic_ostream<char>'} 和 'Foo<3>::Bar'）

我的代码如下：

#include <iostream>

//////////////////////////////////////////////////////////////////////////////////////////
template<int N>
struct Foo
{
    struct Bar  {};
};

//////////////////////////////////////////////////////////////////////////////////////////
template<int N>
std::ostream& operator<< (std::ostream& os, const typename Foo<N>::Bar& x)
{
    return os;
}

//////////////////////////////////////////////////////////////////////////////////////////
int main (int argc, char** argv)
{
    Foo<3>::Bar x;

    std::cout << x << std::endl;
}

我看不到（也许是明显的）错误。

问题是否可以重载属于模板类的内部结构的运算符？