分割以空格分隔的列表
这是我面临的常见任务：将一个空格分隔的列表分为一个 head 元素和一个包含 tail 元素的数组。例如，给定以下字符串：
the quick brown fox
我们想要：
"the"
["quick","brown","fox"]
..在两个不同的变量中。第一个变量应为字符串，第二个变量为数组。我正在寻找一种做到这一点的 优雅 方法（最好是在Java中）。
问题答案：
对于某些高雅的价值观：
String input = "The quick brown fox";
String[] elements = input.split(" ");
String first = elements[0];
String[] trailing = Arrays.copyOfRange(elements,1,elements.length);
我想不出一种用更少的代码来做到这一点的方法…
-
问题内容： 我有一个文件，其中包含任意数量的非对齐列，并用空格分隔。 我想对齐文件的列。 我看过该命令，它似乎不合适。 我可以编写一个AWK脚本，但似乎应该存在一个更明显的命令。 问题答案： 您可能希望该命令（通常用于生成基本表格输出）： 从手册页： 确定输入包含的列数并创建一个表。默认情况下，列用空格定界，或使用–output-separator选项提供的字符定界。表输出对于漂亮打印很有用。 还
-
问题内容： 我需要一个类似于的函数，但可能会有多个空格，并且有意义的字符之间的空格数也不相同。像这样： 我可以以某种方式使用正则表达式来捕捉它们之间的空格吗？ 问题答案： 如果您不向传递任何参数，它将把空格运行视为单个分隔符： 或者如果你想
-
问题内容： 我有一个元素列表，例如自然数。我想将它们打印在一行中，并用一个 空格 作为分隔符。但是我 不想 在列表的最后一个元素之后（或第一个元素之前） 留 一个空格。 在Python 2中，可以使用以下代码轻松完成此操作。该语句的执行（我必须承认，这是个谜），避免在换行符前打印多余的空格。 但是，在Python 3中，似乎（使用）该函数的等效代码在最后一个数字之后产生一个空格： 当然，我的问题有
-
问题内容： 我想知道我是否打算以正确的方式分割字符串？我的代码是： 我只需要字符串的第一部分，这就是为什么我返回第一项的原因。我问是因为我在API中注意到这意味着任何字符，所以现在我陷入了困境。 问题答案： 接受正则表达式，因此你需要转义以免将其视为正则表达式元字符。这是一个例子：
-
问题内容： 假设（在Postgres 9.1中）有一个像这样的表： 其中有一些差距（我的意思是：并非min（date）和max（date）之间的每个可能的日期都有它的行）。 我的问题是如何汇总此数据，以便每个一致的组（不存在任何差距）被分别对待，如下所示： 有什么想法怎么做？我相信使用窗口功能是可能的，但是尝试了一段时间后，我有点卡住了。 例如，如果数据是这样的： 输出（作为汇总）将是： 问题答案
-
问题内容： 这是我的表结构： 我需要拆分该列，并希望通过一个简单的sql查询来做到这一点，因为我不知道如何使用函数，并且希望将其保持简单。 这是我已经发现的： 但这仅输出 有没有一种方法来拆分一切从到，，等？ 提前致谢。 问题答案：