Tag: string

如何从Java中的文件中删除换行符?

我怎样才能取代Java中的string的所有换行符在Windows和Linux(即没有回车/换行符/新行等操作系统特定问题)的方式? 我试过了(注意readFileAsString是一个读取文本文件为String的函数): String text = readFileAsString("textfile.txt"); text.replace("\n", ""); 但是这似乎不起作用。 如何才能做到这一点?

isEqualToString在swift中?

我试图运行下面的代码: import UIKit class LoginViewController: UIViewController { @IBOutlet var username : UITextField = UITextField() @IBOutlet var password : UITextField = UITextField() @IBAction func loginButton(sender : AnyObject) { if username .isEqual("") || password.isEqual("")) { println("Sign in failed. Empty character") } } 我以前的代码是在客观的C工作正常: if([[self.username text] isEqualToString: @""] || [[self.password text] isEqualToString: @""] ) { 我假设我不能在swift中使用isEqualToString。 任何帮助,将不胜感激。 谢谢。

用Sedreplace整个包含一个string的行

我有一个文本文件,有一个特定的行类似 sometext sometext sometext TEXT_TO_BE_REPLACED sometext sometext sometext 我需要用上面的整行代替 This line is removed by the admin. search关键字是TEXT_TO_BE_REPLACED 我需要为此编写一个shell脚本。 我怎样才能达到这个使用sed ?

你如何得到一个string的长度?

你如何获得jQuery中的string的长度?

如何在linux命令行中replace多个文件中的string

我需要replace文件夹中的许多文件中的string,只有ssh访问服务器。 我怎样才能做到这一点?

使用java.lang.String.intern()是不错的做法吗?

有关String.intern()的Javadoc没有提供太多细节。 (简而言之:它返回string的标准表示,允许使用==来比较string间的比较) 我什么时候可以使用这个函数来支持String.equals() ? 有没有在Javadoc中提到的副作用,即通过JIT编译器或多或less的优化? 是否还有String.intern()用法?

如何在Ruby中分隔分隔string并将其转换为数组?

我有一个string "1,2,3,4" 我想将它转换成一个数组: [1,2,3,4] 怎么样?

如何用多个string值初始化C#string列表(List <string>)

如何初始化(用C#初始值设定项)一个string列表? 我已经尝试了下面的例子,但它不工作。 List<string> optionList = new List<string> { "AdditionalCardPersonAdressType","AutomaticRaiseCreditLimit","CardDeliveryTimeWeekDay" }();

为什么追加“”到string保存内存?

我用了一个有很多数据的variables,比如String data 。 我想用下面的方式使用这个string的一小部分: this.smallpart = data.substring(12,18); 经过几个小时的debugging(使用内存可视化工具)后,我发现objects field smallpart记住了所有来自data ,虽然它只包含子string。 当我把代码改成: this.smallpart = data.substring(12,18)+""; 问题解决了! 现在我的应用程序现在使用很less的内存! 这怎么可能? 任何人都可以解释吗? 我认为this.smallpart一直参考数据,但为什么呢? 更新:我怎样才能清除大string呢? 将数据=新的string(data.substring(0,100))做的事情?

将string转换为Date和DateTime

如果我有一个格式为mm-dd-YYYY的PHPstring(例如10-16-2003),那么我该如何正确地将它转换为Date ,然后是格式为YYYY-mm-dd ? 我要求Date和DateTime Date的唯一原因是因为我需要一个地方,另一个在不同的地方。