Logo

Programming-Idioms

  • D
  • Ada
  • Rust
  • Java
  • Lua

Idiom #167 Trim prefix

Create the string t consisting of the string s with its prefix p removed (if s starts with p).

local t = (s:sub(0, #p) == p) and s:sub(#p+1) or s
import std.string;
string t = s.chompPrefix(p);
let t = if s.starts_with(p) { &s[p.len()..] } else { s };
let t = s.trim_start_matches(p);

Warning: this would remove several leading occurrences of p, if present.
See strip_prefix to remove only one occurrence.
let t = s.strip_prefix(p).unwrap_or(s);

Removes p at most once.
int i = s.indexOf(p), n = p.length();
t = i == 0 ? s.substring(n) : s;
import static java.util.regex.Pattern.quote;
String t = s.replaceFirst('^' + quote(p), "");
String t = s.replaceFirst("^" + p, "");

This works if p doesn't contain any regexp control characters
#include <string.h>
size_t l = strlen(p);
const char * t = strncmp(s, p, l) ? s : s + l;

strlen computes the prefix length and strncmp returns zero if the first l characters match
New implementation...
< > ⌨
programming-idioms.org 
local t = (s:sub(0, #p) == p) and s:sub(#p+1) or s
string t = s.chompPrefix(p);
let t = if s.starts_with(p) { &s[p.len()..] } else { s };
let t = s.trim_start_matches(p);
let t = s.strip_prefix(p).unwrap_or(s);
int i = s.indexOf(p), n = p.length();
t = i == 0 ? s.substring(n) : s;
String t = s.replaceFirst('^' + quote(p), "");
String t = s.replaceFirst("^" + p, "");
size_t l = strlen(p);
const char * t = strncmp(s, p, l) ? s : s + l;
std::string t = s.starts_with(p) ? s.substr(p.size()) : s;
var t = s.TrimStart(p);
var t = s.startsWith(p) ? s.substring(p.length, s.length) : s;
var t = s.startsWith(p) ? s.replaceFirst(p,"") : s;
  if (index(s,p) == 1) then
     t = s(len(p)+1:)
  else
     t = s
  end if
t := strings.TrimPrefix(s, p)
t = Maybe.fromMaybe s $ List.stripPrefix p s
let t = s.startsWith(p) ? s.substring(p.length) : s;
$t = strpos($s, $p) === 0 ? substr($s, strlen($p)) : $s;
if AnsiStartsStr(p, s) then 
  t := copy(s, length(p)+1, length(s)-length(p))
else
  s := t;
if (0 == index $s, $p) {
    my $t = substr $s, length $p;
}

t = s[s.startswith(p) and len(p):]
t = s.removeprefix(p)
t = s.delete_prefix(p)
t = s.sub(/\A#{p}/, "")